1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Apr 28 17:50:18 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Tue Apr 28 19:39:06 2020 +0200
     1.3 @@ -24,7 +24,6 @@
     1.4        ML_file rule.sml
     1.5        ML_file "error-fill-def.sml"
     1.6        ML_file "rule-set.sml"
     1.7 -      ML_file calcelems.sml
     1.8    theory BaseDefinitions imports Know_Store
     1.9      ML_file termC.sml
    1.10      ML_file contextC.sml