changeset 59938 | 46b6479cefa7 |
parent 59937 | c3f3123e8fbc |
child 59941 | 602bf61dc6df |
1.1 --- a/src/Tools/isac/Specify/Specify.thy Mon May 04 16:25:14 2020 +0200 1.2 +++ b/src/Tools/isac/Specify/Specify.thy Mon May 04 16:47:32 2020 +0200 1.3 @@ -7,6 +7,8 @@ 1.4 imports "~~/src/Tools/isac/MathEngBasic/MathEngBasic" 1.5 begin 1.6 (* removed all warnings here, only "handle _" remains *) 1.7 + ML_file "o-model.sml" 1.8 + ML_file "i-model.sml" 1.9 ML_file "model.sml" 1.10 ML_file "mstools.sml" 1.11 ML_file ptyps.sml