1.1 --- a/src/Tools/isac/BaseDefinitions/BaseDefinitions.thy	Mon Sep 27 13:17:52 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/BaseDefinitions.thy	Mon Sep 27 20:24:24 2021 +0200
     1.3 @@ -56,10 +56,11 @@
     1.4    apply (simp_all add: realpow_def even_real_def odd_real_def inv_real_eq)
     1.5    by (simp add: powr_minus_divide)
     1.6  
     1.7 -  ML_file termC.sml
     1.8 -  ML_file substitution.sml
     1.9 -  ML_file contextC.sml
    1.10 -  ML_file environment.sml
    1.11 +ML_file termC.sml
    1.12 +ML_file substitution.sml
    1.13 +ML_file contextC.sml
    1.14 +ML_file environment.sml
    1.15 +
    1.16  
    1.17  ML \<open>
    1.18  \<close> ML \<open>