1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Mar 26 07:28:39 2018 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Mar 26 09:20:09 2018 +0200
     1.3 @@ -109,7 +109,8 @@
     1.4    open Rewrite;                mk_thm;
     1.5    open Calc;                   get_pair;
     1.6    open TermC;                  atomt;
     1.7 -  open Celem;                  terms2strs;
     1.8 +  open Celem;                  e_pbt;
     1.9 +  open Rule;                   string_of_thm;
    1.10  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.11  *}
    1.12