1.1 --- a/test/Tools/isac/Test_Isac.thy Sun Dec 04 16:48:06 2022 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Thu Dec 08 10:16:40 2022 +0100
1.3 @@ -277,10 +277,10 @@
1.4 ML_file "Specify/cas-command.sml"
1.5 ML_file "Specify/p-spec.sml"
1.6 ML_file "Specify/specify.sml"
1.7 + ML_file "Specify/sub-problem.sml"
1.8 ML_file "Specify/step-specify.sml"
1.9
1.10 ML_file "Interpret/istate.sml"
1.11 - ML_file "Interpret/sub-problem.sml"
1.12 ML_file "Interpret/error-pattern.sml"
1.13 ML_file "Interpret/li-tool.sml"
1.14 ML_file "Interpret/lucas-interpreter.sml"