1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Dec 14 14:20:25 2016 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Sun Dec 18 16:27:41 2016 +0100
1.3 @@ -68,7 +68,7 @@
1.4
1.5 ML {*
1.6 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
1.7 - (* these vvv test, if additional funs intermediately added to structure *)
1.8 + (* these vvv test, if funs are intermediately opened in structure *)
1.9 open Kernel;
1.10 open Math_Engine; CalcTreeTEST;
1.11 open Lucin; appy;
1.12 @@ -76,6 +76,7 @@
1.13 open Rtools; trtas2str;
1.14 open Chead; pt_extract;
1.15 open Ctree; (*//*)
1.16 + open Specify; show_ptyps;
1.17 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
1.18 *}
1.19 ML {*