src/Pure/Isar/attrib.ML
changeset 39134 917b4b6ba3d2
parent 39128 93a7365fb4ee
child 39137 ccb53edd59f0
     1.1 --- a/src/Pure/Isar/attrib.ML	Sun Sep 05 19:47:40 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sun Sep 05 21:41:24 2010 +0200
     1.3 @@ -392,7 +392,9 @@
     1.4  (* theory setup *)
     1.5  
     1.6  val _ = Context.>> (Context.map_theory
     1.7 - (register_config Syntax.show_structs_value #>
     1.8 + (register_config Syntax.show_sorts_value #>
     1.9 +  register_config Syntax.show_types_value #>
    1.10 +  register_config Syntax.show_structs_value #>
    1.11    register_config Syntax.show_question_marks_value #>
    1.12    register_config Syntax.ambiguity_level_value #>
    1.13    register_config Syntax.eta_contract_value #>