test/Tools/isac/Test_Isac.thy
changeset 60609 5967b6e610b5
parent 60608 5dabcc1c9235
child 60624 0e0ac7706f0d
     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"