branch | decompose-isar |
changeset 42280 | edfc690c96c2 |
parent 42248 | ac50595ffe6b |
child 42289 | 801b5f1154bf |
1.1 --- a/test/Tools/isac/Test_Isac.thy Thu Sep 22 14:24:34 2011 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Thu Sep 22 14:43:47 2011 +0200 1.3 @@ -18,6 +18,7 @@ 1.4 "ADDTESTS/course/phst11/T2_Rewriting" 1.5 "ADDTESTS/course/phst11/T3_MathEngine" 1.6 "ADDTESTS/file-depend/Build_Test" 1.7 + "ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform" 1.8 "../../Pure/Isar/Test_Parsers" 1.9 (*"../../Pure/Isar/Pure/Isar/Struct_Deriv" update 2009-2-->2011*) 1.10 "../../Pure/Isar/Test_Parse_Term"