1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Apr 14 15:56:15 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 15 10:07:43 2020 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4        ML_file theoryC.sml
     1.5        ML_file unparseC.sml                                                                                                  
     1.6        ML_file "rule-def.sml"
     1.7 -      ML_file "thmC-def.sml"
     1.8 +      ML_file thmC.sml
     1.9        ML_file "exec-def.sml"
    1.10        ML_file "rewrite-order.sml"
    1.11        ML_file rule.sml