1.1 --- a/src/Tools/isac/BridgeLibisabelle/interface.sml	Wed Apr 15 11:37:43 2020 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/interface.sml	Wed Apr 15 13:47:56 2020 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4      val setMethod : Celem.calcID -> Celem.metID -> XML.tree
     1.5      val setNextTactic : Celem.calcID -> Tactic.input -> XML.tree
     1.6      val setProblem : Celem.calcID -> Celem.pblID -> XML.tree
     1.7 -    val setTheory : Celem.calcID -> ThyC.thyID -> XML.tree
     1.8 +    val setTheory : Celem.calcID -> ThyC.id -> XML.tree
     1.9  (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
    1.10      (* NONE *)
    1.11  ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)