1.1 --- a/src/Tools/isac/Specify/Specify.thy Wed May 13 18:16:35 2020 +0200
1.2 +++ b/src/Tools/isac/Specify/Specify.thy Thu May 14 08:49:08 2020 +0200
1.3 @@ -14,13 +14,13 @@
1.4 ML_file "p-model.sml"
1.5 ML_file model.sml
1.6 ML_file refine.sml
1.7 - ML_file ptyps.sml (*..TODO review*)
1.8 ML_file "test-out.sml"
1.9 ML_file "specify-step.sml"
1.10 ML_file calchead.sml (*..TODO review*)
1.11 + ML_file specify.sml
1.12 ML_file "input-calchead.sml"
1.13 + ML_file ptyps.sml (*..TODO review*)
1.14 ML_file "step-specify.sml"
1.15 - ML_file specify.sml
1.16
1.17 ML \<open>
1.18 \<close> ML \<open>