1.1 --- a/isac-java/src/java-tests/isac/bridge/xml/TestDataTypes.java Tue Sep 22 14:33:32 2020 +0200
1.2 +++ b/isac-java/src/java-tests/isac/bridge/xml/TestDataTypes.java Fri Mar 26 10:45:05 2021 +0100
1.3 @@ -26,8 +26,8 @@
1.4 import isac.util.tactics.StringListTactic;
1.5 import isac.util.tactics.Tactic;
1.6 import isac.util.tactics.Theorem;
1.7 -import info.hupel.isabelle.api.XML;
1.8 -import info.hupel.isabelle.pure.*; // DEFINES type Term
1.9 +import edu.tum.cs.isabelle.api.XML;
1.10 +import edu.tum.cs.isabelle.pure.*; // DEFINES type Term
1.11
1.12 import java.util.Vector;
1.13
1.14 @@ -385,4 +385,4 @@
1.15 System.out.println("\\--END isac.bridge.DataTypes#testTactics");
1.16
1.17 }
1.18 -}
1.19 \ No newline at end of file
1.20 +}