1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Sep 10 16:13:28 2019 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Sep 10 17:15:41 2019 +0200
     1.3 @@ -69,8 +69,7 @@
     1.4    ML_file "thy-hierarchy.sml" 
     1.5    ML_file "interface-xml.sml"
     1.6    ML_file interface.sml
     1.7 -          "BridgeLibisabelle/BridgeLibisabelle"
     1.8 -*)
     1.9 +*)        "BridgeLibisabelle/BridgeLibisabelle"
    1.10  
    1.11            "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.12