equal
deleted
inserted
replaced
15 import isac.util.tactics.RewriteSetInst; |
15 import isac.util.tactics.RewriteSetInst; |
16 import isac.util.tactics.SimpleTactic; |
16 import isac.util.tactics.SimpleTactic; |
17 import isac.util.tactics.StringListTactic; |
17 import isac.util.tactics.StringListTactic; |
18 import isac.util.tactics.SubProblemTactic; |
18 import isac.util.tactics.SubProblemTactic; |
19 import isac.util.tactics.Tactic; |
19 import isac.util.tactics.Tactic; |
20 import info.hupel.isabelle.api.XML; |
20 import edu.tum.cs.isabelle.api.XML; |
21 |
21 |
22 /** |
22 /** |
23 * Trials to cope with type conversions between Java and Scala. |
23 * Trials to cope with type conversions between Java and Scala. |
24 */ |
24 */ |
25 public class DataTypesCompanion { |
25 public class DataTypesCompanion { |