changeset 59265 | ee68ccda7977 |
parent 59263 | 0fde9446eda2 |
child 59266 | 56762e8a672e |
1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Nov 30 13:05:08 2016 +0100 1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon Dec 12 18:08:13 2016 +0100 1.3 @@ -74,6 +74,7 @@ 1.4 open Lucin; appy; 1.5 open Inform; cas_input; 1.6 open Rtools; trtas2str; 1.7 + open Chead; pt_extract; 1.8 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) 1.9 *} 1.10 ML {*