1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Jan 11 06:06:12 2023 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Jan 11 09:23:18 2023 +0100
1.3 @@ -254,7 +254,7 @@
1.4 ML_file "Minisubpbl/600-postcond-NEXT_STEP.sml"
1.5 ML_file "Minisubpbl/600-postcond.sml"
1.6 ML_file "Minisubpbl/700-interSteps.sml"
1.7 - ML_file "Minisubpbl/710-interSteps-short.sml"
1.8 + ML_file "Minisubpbl/710-interSteps-short.sml"
1.9 ML_file "Minisubpbl/790-complete-NEXT_STEP.sml"
1.10 ML_file "Minisubpbl/790-complete.sml"
1.11 ML_file "Minisubpbl/800-append-on-Frm.sml"