equal
deleted
inserted
replaced
1 package isac.gui.mawen.syntax |
1 package isac.gui.mawen.syntax |
2 |
2 |
3 import isac.gui.mawen.scalaterm.TestsDATA |
3 import isac.gui.mawen.scalaterm.TestsDATA |
4 import isac.gui.mawen.TestDATA |
4 import isac.gui.mawen.TestDATA |
5 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
5 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
6 import info.hupel.isabelle.pure._ // for Term |
6 import edu.tum.cs.isabelle.pure._ // for Term |
7 import isac.gui.mawen.syntax.isabelle.XLibrary |
7 import isac.gui.mawen.syntax.isabelle.XLibrary |
8 import isac.gui.mawen.editor.TestDATAeditor |
8 import isac.gui.mawen.editor.TestDATAeditor |
9 |
9 |
10 import junit.framework.TestCase |
10 import junit.framework.TestCase |
11 import org.junit.Assert._ |
11 import org.junit.Assert._ |