--- a/src/HOL/Lambda/ROOT.ML Fri Jan 19 22:08:06 2007 +0100
+++ b/src/HOL/Lambda/ROOT.ML Fri Jan 19 22:08:07 2007 +0100
@@ -6,7 +6,6 @@
Syntax.ambiguity_level := 100;
proofs := 2;
-IsarOutput.modes := "no_brackets" :: !IsarOutput.modes;
use_thy "Eta";
no_document use_thy "Accessible_Part";