changeset 59202 | 105897ad7165 |
parent 59194 | 52dcd1579576 |
child 59232 | a757e8f2fe6c |
1.1 --- a/test/Tools/isac/Test_Isac.thy Tue Jan 12 14:40:55 2016 +0100 1.2 +++ b/test/Tools/isac/Test_Isac.thy Tue Jan 12 19:47:59 2016 +0100 1.3 @@ -22,6 +22,7 @@ 1.4 "ADDTESTS/Ctxt" 1.5 "ADDTESTS/test-depend/Build_Test" 1.6 "ADDTESTS/All_Ctxt" 1.7 + "ADDTESTS/Test_Units" 1.8 "ADDTESTS/course/phst11/T1_Basics" 1.9 "ADDTESTS/course/phst11/T2_Rewriting" 1.10 "ADDTESTS/course/phst11/T3_MathEngine"