1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Apr 29 09:03:01 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Apr 29 12:30:51 2020 +0200
     1.3 @@ -112,7 +112,7 @@
     1.4    open Input_Descript;
     1.5    open Specify;                show_ptyps;
     1.6    open SpecifyNEW;
     1.7 -  open Applicable;             mk_set;
     1.8 +  open ApplicableOLD;             mk_set;
     1.9    open Step_Specify;
    1.10    open Step_Solve;
    1.11    open Step;