1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Apr 08 16:56:47 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Apr 09 11:21:53 2020 +0200
     1.3 @@ -17,7 +17,11 @@
     1.4        ML_file libraryC.sml
     1.5        ML_file "rule-def.sml"
     1.6        ML_file "exec-def.sml"
     1.7 +      ML_file "rewrite-order.sml"
     1.8 +      ML_file theoryC.sml
     1.9        ML_file rule.sml
    1.10 +      ML_file thmC.sml
    1.11 +      ML_file "error-fill-def.sml"
    1.12        ML_file "rule-set.sml"
    1.13        ML_file calcelems.sml
    1.14    theory CalcElements imports KEStore