1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Dec 21 08:57:47 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Dec 21 09:21:26 2016 +0100
     1.3 @@ -78,7 +78,8 @@
     1.4    open Generate;               (*NONE*)
     1.5  (*open Ctree;                  (*? ?*)  *)
     1.6    open Specify;                show_ptyps;
     1.7 -  open Applicable              (*TODO*)
     1.8 +  open Applicable;             (*TODO*)
     1.9 +  open Solve;                  (*TODO*)
    1.10  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.11  *}
    1.12  ML {*