src/HOL/Lambda/ROOT.ML
changeset 22100 33d7468302bb
parent 21676 a45af03f6827
child 24104 719fbe4fb77f
     1.1 --- a/src/HOL/Lambda/ROOT.ML	Fri Jan 19 22:08:06 2007 +0100
     1.2 +++ b/src/HOL/Lambda/ROOT.ML	Fri Jan 19 22:08:07 2007 +0100
     1.3 @@ -6,7 +6,6 @@
     1.4  
     1.5  Syntax.ambiguity_level := 100;
     1.6  proofs := 2;
     1.7 -IsarOutput.modes := "no_brackets" :: !IsarOutput.modes;
     1.8  
     1.9  use_thy "Eta";
    1.10  no_document use_thy "Accessible_Part";