1.1 --- a/src/Tools/isac/MathEngBasic/MathEngBasic.thy	Fri Apr 10 12:28:47 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/MathEngBasic.thy	Fri Apr 10 14:46:55 2020 +0200
     1.3 @@ -7,6 +7,8 @@
     1.4  imports "~~/src/Tools/isac/ProgLang/ProgLang" "~~/src/Tools/isac/Specify/Input_Descript"
     1.5  begin
     1.6  (* removed all warnings here, only "handle _" remains *)
     1.7 +  ML_file thmC.sml
     1.8 +  ML_file rewrite.sml
     1.9    ML_file "calc-tree-elem.sml"
    1.10    ML_file model.sml
    1.11    ML_file mstools.sml