1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Apr 28 19:39:06 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 29 09:03:01 2020 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4        ML_file unparseC.sml                                                                                                  
     1.5        ML_file "rule-def.sml"
     1.6        ML_file thmC.sml
     1.7 -      ML_file "exec-def.sml"
     1.8 +      ML_file "eval-def.sml"
     1.9        ML_file "rewrite-order.sml"
    1.10        ML_file rule.sml
    1.11        ML_file "error-fill-def.sml"