Added new theories WeakNorm and StrongNorm.
authorberghofe
Tue Jun 24 10:39:46 2003 +0200 (2003-06-24)
changeset 140673cc65d66fa12
parent 14066 fe45b97b62ea
child 14068 d743b3b8f06e
Added new theories WeakNorm and StrongNorm.
src/HOL/Lambda/ROOT.ML
     1.1 --- a/src/HOL/Lambda/ROOT.ML	Tue Jun 24 10:39:14 2003 +0200
     1.2 +++ b/src/HOL/Lambda/ROOT.ML	Tue Jun 24 10:39:46 2003 +0200
     1.3 @@ -5,8 +5,11 @@
     1.4  *)
     1.5  
     1.6  Syntax.ambiguity_level := 100;
     1.7 +proofs := 2;
     1.8 +IsarOutput.modes := "no_brackets" :: !IsarOutput.modes;
     1.9  
    1.10  set timing;
    1.11  time_use_thy "Eta";
    1.12  no_document time_use_thy "Accessible_Part";
    1.13 -time_use_thy "Type";
    1.14 +time_use_thy "StrongNorm";
    1.15 +time_use_thy "WeakNorm";