1.1 --- a/isac-java/src/java/isac/util/formulae/Specification.java	Sat Dec 05 10:40:09 2015 +0100
     1.2 +++ b/isac-java/src/java/isac/util/formulae/Specification.java	Fri Jan 22 18:27:45 2016 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  import isac.bridge.xml.JavaToIsa; //.scala
     1.5  import isac.bridge.xml.DataTypes; //.scala
     1.6  
     1.7 -import isabelle.XML; //.scala
     1.8 +import edu.tum.cs.isabelle.api.XML; //.scala
     1.9  
    1.10  import java.io.Serializable;
    1.11