1.1 --- a/src/Tools/isac/Build_Isac.thy	Wed Apr 01 19:20:05 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sat Apr 04 12:11:32 2020 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  imports
     1.5  (*  theory KEStore imports Complex_Main
     1.6        ML_file libraryC.sml
     1.7 +      ML_file "rule-def.sml"
     1.8        ML_file rule.sml
     1.9        ML_file calcelems.sml
    1.10    theory CalcElements imports KEStore