equal
deleted
inserted
replaced
7 package isac.bridge.xml |
7 package isac.bridge.xml |
8 |
8 |
9 import isac.util.formulae.ModelItem |
9 import isac.util.formulae.ModelItem |
10 import isac.gui.mawen.scalaterm.Util |
10 import isac.gui.mawen.scalaterm.Util |
11 |
11 |
12 import info.hupel.isabelle._ // for Codec |
12 import edu.tum.cs.isabelle._ // for Codec |
13 import info.hupel.isabelle.api.XML |
13 import edu.tum.cs.isabelle.api.XML |
14 import info.hupel.isabelle.pure._ // DEFINES type Term |
14 import edu.tum.cs.isabelle.pure._ // DEFINES type Term |
15 |
15 |
16 import java.util.Vector |
16 import java.util.Vector |
17 import scala.collection.JavaConverters._ |
17 import scala.collection.JavaConverters._ |
18 import scala.collection.JavaConversions._ |
18 import scala.collection.JavaConversions._ |
19 |
19 |