1.1 --- a/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Tue Sep 10 10:47:18 2019 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Tue Sep 10 16:13:28 2019 +0200
     1.3 @@ -11,11 +11,15 @@
     1.4    ML_file datatypes.sml
     1.5    ML_file "pbl-met-hierarchy.sml"
     1.6    ML_file "thy-hierarchy.sml" 
     1.7 -(*ML_file "interface-xml.sml"       --- rm libisabelle ---*)
     1.8 -(*ML_file interface.sml             --- rm libisabelle ---*)
     1.9 +  ML_file "interface-xml.sml"
    1.10 +  ML_file interface.sml
    1.11  (*declare [[ML_print_depth = 999]]*)
    1.12  ML \<open>
    1.13  \<close> ML \<open>
    1.14 + "XML.tree"
    1.15 +(*//---------------------------------- rm libisabelle ---------------------------------------\\* )
    1.16 +( *\\---------------------------------- rm libisabelle ---------------------------------------//*)
    1.17 +\<close> ML \<open>
    1.18  \<close>
    1.19  
    1.20  end