1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Feb 06 09:06:35 2017 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Feb 07 08:57:42 2017 +0100
     1.3 @@ -75,14 +75,15 @@
     1.4    open Inform;                 cas_input;
     1.5    open Rtools;                 trtas2str;
     1.6    open Chead;                  pt_extract;
     1.7 -  open Generate;               (*NONE*)
     1.8 +  open Generate;               (* NONE *)
     1.9    open Ctree;                  append_problem;
    1.10    open Specify;                show_ptyps;
    1.11 -  open Applicable;             (*TODO*)
    1.12 -  open Solve;                  (*TODO*)
    1.13 +  open Applicable;             mk_set;
    1.14 +  open Solve;                  (* NONE *)
    1.15    open Selem;                  e_fmz;
    1.16    open Stool;                  transfer_asms_from_to;
    1.17 -  open Tac;                    (*TODO*)
    1.18 +  open Tac;                    (* NONE *)
    1.19 +  open Model;                  (* NONE *)
    1.20  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.21  *}
    1.22  ML {*