equal
deleted
inserted
replaced
58 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/Test_Units" |
58 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/Test_Units" |
59 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T1_Basics" |
59 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T1_Basics" |
60 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T2_Rewriting" |
60 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T2_Rewriting" |
61 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine" |
61 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine" |
62 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/file-depend/BuildC_Test" |
62 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/file-depend/BuildC_Test" |
63 (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/session-get_theory/Foo" |
|
64 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform" |
63 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform" |
65 ADDTESTS/------------------------------------------- see end of tests *) |
64 ADDTESTS/------------------------------------------- see end of tests *) |
66 (*/~~~ these work directly from Pure, but create problems here .. |
65 (*/~~~ these work directly from Pure, but create problems here .. |
67 "$ISABELLE_ISAC_TEST/Pure/Isar/Keyword_ISAC.thy" (* Malformed theory import, "keywords" ?!? *) |
66 "$ISABELLE_ISAC_TEST/Pure/Isar/Keyword_ISAC.thy" (* Malformed theory import, "keywords" ?!? *) |
68 "$ISABELLE_ISAC_TEST/Pure/Isar/Test_Parse_Isac.thy" (* Malformed theory import, "keywords" ?!? *) |
67 "$ISABELLE_ISAC_TEST/Pure/Isar/Test_Parse_Isac.thy" (* Malformed theory import, "keywords" ?!? *) |