equal
deleted
inserted
replaced
24 import isac.util.tactics.Rewrite; |
24 import isac.util.tactics.Rewrite; |
25 import isac.util.tactics.RewriteInst; |
25 import isac.util.tactics.RewriteInst; |
26 import isac.util.tactics.StringListTactic; |
26 import isac.util.tactics.StringListTactic; |
27 import isac.util.tactics.Tactic; |
27 import isac.util.tactics.Tactic; |
28 import isac.util.tactics.Theorem; |
28 import isac.util.tactics.Theorem; |
29 import info.hupel.isabelle.api.XML; |
29 import edu.tum.cs.isabelle.api.XML; |
30 import info.hupel.isabelle.pure.*; // DEFINES type Term |
30 import edu.tum.cs.isabelle.pure.*; // DEFINES type Term |
31 |
31 |
32 import java.util.Vector; |
32 import java.util.Vector; |
33 |
33 |
34 import junit.framework.TestCase; |
34 import junit.framework.TestCase; |
35 |
35 |