1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Tue Feb 07 17:25:09 2023 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Tue Feb 07 17:43:16 2023 +0100
     1.3 @@ -60,7 +60,6 @@
     1.4  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T2_Rewriting"
     1.5  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine"
     1.6  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/file-depend/BuildC_Test"
     1.7 -(**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/session-get_theory/Foo"
     1.8  (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform"
     1.9     ADDTESTS/------------------------------------------- see end of tests *)
    1.10  (*/~~~ these work directly from Pure, but create problems here ..