Added new theories WeakNorm and StrongNorm.

--- a/src/HOL/Lambda/ROOT.ML	Tue Jun 24 10:39:14 2003 +0200
+++ b/src/HOL/Lambda/ROOT.ML	Tue Jun 24 10:39:46 2003 +0200
@@ -5,8 +5,11 @@
 *)
 
 Syntax.ambiguity_level := 100;
+proofs := 2;
+IsarOutput.modes := "no_brackets" :: !IsarOutput.modes;
 
 set timing;
 time_use_thy "Eta";
 no_document time_use_thy "Accessible_Part";
-time_use_thy "Type";
+time_use_thy "StrongNorm";
+time_use_thy "WeakNorm";