1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Nov 22 10:42:21 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Nov 24 14:33:42 2016 +0100
     1.3 @@ -68,9 +68,11 @@
     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    open Kernel;
     1.9 -  open Math_Engine
    1.10 -  open Lucin;
    1.11 +  open Math_Engine;            CalcTreeTEST;
    1.12 +  open Lucin;                  appy;
    1.13 +  open Inform;                 cas_input;
    1.14  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.15  *}
    1.16  ML {*