changeset 59920 | 33913fe24685 |
parent 59822 | 14817bf35bc2 |
child 59931 | cc5b51681c4b |
1.1 --- a/src/Tools/isac/Specify/Specify.thy Wed Apr 29 09:03:01 2020 +0200 1.2 +++ b/src/Tools/isac/Specify/Specify.thy Wed Apr 29 12:30:51 2020 +0200 1.3 @@ -12,6 +12,7 @@ 1.4 ML_file calchead.sml 1.5 ML_file "input-calchead.sml" 1.6 ML_file appl.sml 1.7 + ML_file "specify-step.sml" 1.8 ML_file "step-specify.sml" 1.9 ML_file specify.sml 1.10