1.1 --- a/src/Tools/isac/CalcElements/KEStore.thy	Thu Apr 09 18:21:09 2020 +0200
     1.2 +++ b/src/Tools/isac/CalcElements/KEStore.thy	Fri Apr 10 12:28:47 2020 +0200
     1.3 @@ -6,13 +6,13 @@
     1.4  
     1.5  begin
     1.6  ML_file libraryC.sml
     1.7 +ML_file theoryC.sml
     1.8 +ML_file "unparseC.sml"
     1.9  ML_file "rule-def.sml"
    1.10 +ML_file thmC.sml
    1.11  ML_file "exec-def.sml"
    1.12  ML_file "rewrite-order.sml"
    1.13 -ML_file theoryC.sml
    1.14  ML_file rule.sml
    1.15 -ML_file "unparseC.sml"
    1.16 -ML_file thmC.sml
    1.17  ML_file "error-fill-def.sml"
    1.18  ML_file "rule-set.sml"
    1.19  ML_file calcelems.sml