1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Wed Dec 02 12:32:30 2020 +0100
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Mon Dec 07 17:39:21 2020 +0100
1.3 @@ -83,6 +83,7 @@
1.4 (**)"~~/test/Pure/Isar/Check_Outer_Syntax"
1.5 (**)"~~/test/Pure/Isar/Test_Parsers"
1.6 (**)"~~/test/Pure/Isar/Test_Parse_Term"
1.7 +(**)"~~/test/HOL/Tools/Sledgehammer/Try_Sledgehammer"
1.8 (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*)
1.9 "~~/test/Tools/isac/Specify/refine" (* setup for refine.sml *)
1.10 "~~/test/Tools/isac/ProgLang/calculate" (* setup for evaluate.sml *)