1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Apr 06 11:44:36 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 08 12:32:51 2020 +0200
     1.3 @@ -17,6 +17,7 @@
     1.4        ML_file libraryC.sml
     1.5        ML_file "rule-def.sml"
     1.6        ML_file rule.sml
     1.7 +      ML_file "rule-set.sml"
     1.8        ML_file calcelems.sml
     1.9    theory CalcElements imports KEStore
    1.10      ML_file termC.sml