changeset 59982 | 56654afad89f |
parent 59981 | dc34eff67648 |
child 59984 | 08296690e7a6 |
1.1 --- a/src/Tools/isac/Specify/Specify.thy Thu May 14 16:08:41 2020 +0200 1.2 +++ b/src/Tools/isac/Specify/Specify.thy Thu May 14 16:58:33 2020 +0200 1.3 @@ -17,6 +17,7 @@ 1.4 ML_file "test-out.sml" 1.5 ML_file "specify-step.sml" 1.6 ML_file specification.sml 1.7 + ML_file "cas-command.sml" 1.8 ML_file "p-specific.sml" 1.9 ML_file specify.sml 1.10 ML_file "step-specify.sml"