1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Nov 24 14:33:42 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Nov 30 12:09:24 2016 +0100
     1.3 @@ -73,6 +73,7 @@
     1.4    open Math_Engine;            CalcTreeTEST;
     1.5    open Lucin;                  appy;
     1.6    open Inform;                 cas_input;
     1.7 +  open Rtools;                 trtas2str;
     1.8  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
     1.9  *}
    1.10  ML {*