equal
deleted
inserted
replaced
8 |
8 |
9 import isac.bridge.Isabelle_Isac |
9 import isac.bridge.Isabelle_Isac |
10 import isac.bridge.xml.DataTypes |
10 import isac.bridge.xml.DataTypes |
11 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
11 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
12 |
12 |
13 import info.hupel.isabelle.japi._ |
13 import edu.tum.cs.isabelle.japi._ |
14 |
14 |
15 import junit.framework.TestCase |
15 import junit.framework.TestCase |
16 import org.junit.Assert._ |
16 import org.junit.Assert._ |
17 |
17 |
18 /** |
18 /** |