1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Feb 02 10:41:09 2017 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Feb 04 07:20:39 2017 +0100
     1.3 @@ -81,6 +81,7 @@
     1.4    open Applicable;             (*TODO*)
     1.5    open Solve;                  (*TODO*)
     1.6    open Selem;                  e_fmz;
     1.7 +  open Stool;                  transfer_asms_from_to;
     1.8    open Tac;                    (*TODO*)
     1.9  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.10  *}