equal
deleted
inserted
replaced
43 import isac.util.tactics.SubstituteTactic |
43 import isac.util.tactics.SubstituteTactic |
44 import isac.util.tactics.Tactic |
44 import isac.util.tactics.Tactic |
45 import isac.util.tactics.Theorem |
45 import isac.util.tactics.Theorem |
46 import isac.util.Variant |
46 import isac.util.Variant |
47 |
47 |
48 import info.hupel.isabelle.api.XML |
48 import edu.tum.cs.isabelle.api.XML |
49 import info.hupel.isabelle.pure._ // for Term |
49 import edu.tum.cs.isabelle.pure._ // for Term |
50 import info.hupel.isabelle._ // for Codec |
50 import edu.tum.cs.isabelle._ // for Codec |
51 |
51 |
52 import java.util.ArrayList |
52 import java.util.ArrayList |
53 import java.util.Vector |
53 import java.util.Vector |
54 import java.math.BigInteger |
54 import java.math.BigInteger |
55 import scala.math.BigInt |
55 import scala.math.BigInt |