1.1 --- a/src/Tools/isac/Build_Isac.thy	Sat Aug 01 13:54:53 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Aug 02 12:32:34 2020 +0200
     1.3 @@ -133,6 +133,11 @@
     1.4      ML_file "interface-xml.sml"
     1.5      ML_file interface.sml
     1.6  *)        "BridgeLibisabelle/BridgeLibisabelle"
     1.7 +(*
     1.8 +    theory Isac imports  "~~/src/Tools/isac/MathEngine/MathEngine"
     1.9 +      ML_file parseC.sml
    1.10 +  theory BridgeJEdit imports Isac    
    1.11 +*)        "BridgeJEdit/BridgeJEdit"
    1.12  
    1.13            "Knowledge/Build_Thydata" (*imports Isac.thy etc*)
    1.14