1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Jul 26 13:28:39 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Jul 26 13:30:37 2011 +0200
     1.3 @@ -181,10 +181,6 @@
     1.4    ML {*"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";*}
     1.5  
     1.6  end
     1.7 -
     1.8 -(*=== inhibit exn ?=============================================================
     1.9 -===== inhibit exn ?===========================================================*)
    1.10 -
    1.11  (*========== inhibit exn 110628 ================================================
    1.12  ============ inhibit exn 110628 ==============================================*)
    1.13