equal
deleted
inserted
replaced
16 import isac.util.tactics.Tactic |
16 import isac.util.tactics.Tactic |
17 import isac.util.Variant |
17 import isac.util.Variant |
18 import isac.util.Formalization |
18 import isac.util.Formalization |
19 import isac.wsdialog.IContextProvider.ContextType; |
19 import isac.wsdialog.IContextProvider.ContextType; |
20 |
20 |
21 import info.hupel.isabelle.api.XML |
21 import edu.tum.cs.isabelle.api.XML |
22 |
22 |
23 import java.util.ArrayList |
23 import java.util.ArrayList |
24 import java.util.Vector |
24 import java.util.Vector |
25 import java.math.BigInteger |
25 import java.math.BigInteger |
26 import scala.math.BigInt |
26 import scala.math.BigInt |