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