1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Apr 14 12:39:26 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Apr 14 15:56:15 2020 +0200
     1.3 @@ -16,9 +16,9 @@
     1.4  (*  theory KEStore imports Complex_Main
     1.5        ML_file libraryC.sml
     1.6        ML_file theoryC.sml
     1.7 -      ML_file unparseC.sml
     1.8 +      ML_file unparseC.sml                                                                                                  
     1.9        ML_file "rule-def.sml"
    1.10 -      ML_file thmC.sml
    1.11 +      ML_file "thmC-def.sml"
    1.12        ML_file "exec-def.sml"
    1.13        ML_file "rewrite-order.sml"
    1.14        ML_file rule.sml
    1.15 @@ -45,6 +45,7 @@
    1.16  (*
    1.17    theory MathEngBasic imports
    1.18      "~~/src/Tools/isac/ProgLang/ProgLang" "~~/src/Tools/isac/Specify/Input_Descript"
    1.19 +    ML_file thmC.sml
    1.20      ML_file rewrite.sml
    1.21      ML_file "calc-tree-elem.sml"
    1.22      ML_file model.sml