1.1 --- a/test/Tools/isac/Test_Some.thy	Mon Jul 18 17:21:21 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Some.thy	Tue Jul 19 09:30:10 2011 +0200
     1.3 @@ -7,16 +7,13 @@
     1.4  
     1.5  ML{* writeln "**** run the test ***************************************" *}
     1.6  
     1.7 -use"../../../test/Tools/isac/Frontend/interface.sml"
     1.8 +use"../../../test/Tools/isac/Knowledge/polyminus.sml"  
     1.9  
    1.10  ML{*
    1.11  *}
    1.12  ML{*
    1.13  *}
    1.14  ML{*
    1.15 -
    1.16 -*}
    1.17 -ML{*
    1.18  *}
    1.19  ML{*
    1.20  *}
    1.21 @@ -30,8 +27,8 @@
    1.22  ===== inhibit exn ?===========================================================*)
    1.23  
    1.24  
    1.25 -(*========== inhibit exn 110718 ================================================
    1.26 -============ inhibit exn 110718 ==============================================*)
    1.27 +(*========== inhibit exn 110719 ================================================
    1.28 +============ inhibit exn 110719 ==============================================*)
    1.29  
    1.30  
    1.31  (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.