1.1 --- a/test/Tools/isac/Test_Isac.thy	Sat Jan 21 10:25:19 2017 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sat Jan 21 11:30:18 2017 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4    open Specify;                show_ptyps;
     1.5    open Applicable;             (*TODO*)
     1.6    open Solve;                  (*TODO*)
     1.7 -  open Selem;                  (*TODO*)
     1.8 +  open Selem;                  e_fmz;
     1.9    open Tac;                    (*TODO*)
    1.10  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.11  *}