1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Feb 14 12:20:35 2018 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Feb 14 15:59:00 2018 +0100
     1.3 @@ -102,6 +102,7 @@
     1.4    open Stool;                  transfer_asms_from_to;
     1.5    open Tac;                    (* NONE *)
     1.6    open Model;                  (* NONE *)
     1.7 +  open LTool;                  (* NONE *)
     1.8  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
     1.9  *}
    1.10