src/HOL/Bali/Basis.thy
changeset 12859 f63315dfffd4
parent 12858 6214f03d6d27
child 12893 cbb4dc5e6478
     1.1 --- a/src/HOL/Bali/Basis.thy	Mon Jan 28 18:51:48 2002 +0100
     1.2 +++ b/src/HOL/Bali/Basis.thy	Mon Jan 28 23:35:20 2002 +0100
     1.3 @@ -11,11 +11,6 @@
     1.4  ML_setup {*
     1.5  Unify.search_bound := 40;
     1.6  Unify.trace_bound  := 40;
     1.7 -
     1.8 -quick_and_dirty:=true;
     1.9 -
    1.10 -Pretty.setmargin 77;
    1.11 -goals_limit:=2;
    1.12  *}
    1.13  (*print_depth 100;*)
    1.14  (*Syntax.ambiguity_level := 1;*)