1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/isabelle/term.scala	Tue Sep 22 14:33:32 2020 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/isabelle/term.scala	Fri Mar 26 10:45:05 2021 +0100
     1.3 @@ -10,11 +10,11 @@
     1.4  
     1.5  package isac.gui.mawen.syntax.isabelle
     1.6  
     1.7 -import info.hupel.isabelle.pure._
     1.8 +import edu.tum.cs.isabelle.pure._
     1.9  
    1.10  object XTerm
    1.11  {
    1.12 -  /* //---------- this would overwrite info.hupel.isabelle.pure._ ----------\\
    1.13 +  /* //---------- this would overwrite edu.tum.cs.isabelle.pure._ ----------\\
    1.14    
    1.15    type Indexname = (String, Int)
    1.16  
    1.17 @@ -35,7 +35,7 @@
    1.18    case class Abs(name: String, typ: Typ = dummyT, body: Term) extends Term
    1.19    case class App(fun: Term, arg: Term) extends Term
    1.20    
    1.21 -  \\---------- this would overwrite info.hupel.isabelle.pure._ ----------// */
    1.22 +  \\---------- this would overwrite edu.tum.cs.isabelle.pure._ ----------// */
    1.23  
    1.24  //----------------- ADDITIONS TO Isabelle2016-1 FOR ISAC -----------------\\
    1.25    // see ~~/src/Pure/General/symbol.scala: is digit