1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Sat Mar 19 15:18:10 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Wed Mar 23 17:20:39 2011 +0100
     1.3 @@ -5,7 +5,6 @@
     1.4  use"../smltest/IsacKnowledge/algein.sml";
     1.5  use"algein.sml";
     1.6  *)
     1.7 -val thy = AlgEin.thy;
     1.8  
     1.9  "-----------------------------------------------------------------";
    1.10  "table of contents -----------------------------------------------";
    1.11 @@ -18,6 +17,8 @@
    1.12  "-----------------------------------------------------------------";
    1.13  "-----------------------------------------------------------------";
    1.14  
    1.15 +(*=== inhibit exn ?=============================================================
    1.16 +val thy = AlgEin.thy;
    1.17  
    1.18  
    1.19  (* use"../smltest/IsacKnowledge/algein.sml";
    1.20 @@ -156,3 +157,4 @@
    1.21  (* use"../smltest/IsacKnowledge/algein.sml";
    1.22     *)
    1.23  
    1.24 +===== inhibit exn ?===========================================================*)