1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Dec 19 10:37:44 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Dec 21 08:57:47 2016 +0100
     1.3 @@ -75,8 +75,10 @@
     1.4    open Inform;                 cas_input;
     1.5    open Rtools;                 trtas2str;
     1.6    open Chead;                  pt_extract;
     1.7 -  open Ctree;                  (*//*)
     1.8 +  open Generate;               (*NONE*)
     1.9 +(*open Ctree;                  (*? ?*)  *)
    1.10    open Specify;                show_ptyps;
    1.11 +  open Applicable              (*TODO*)
    1.12  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.13  *}
    1.14  ML {*