src/Pure/Syntax/syntax.ML

     (string * string) trrule list -> syntax -> syntax
   val remove_const_gram: (string -> bool) ->
     string * bool -> (string * typ * mixfix) list -> syntax -> syntax
   val map_trrule: ('a -> 'b) -> 'a trrule -> 'b trrule
   val merge_syntaxes: syntax -> syntax -> syntax
-  val type_syn: syntax
   val pure_syn: syntax
   val print_gram: syntax -> unit
   val print_trans: syntax -> unit
   val print_syntax: syntax -> unit
   val read: theory -> (string -> bool) -> syntax -> typ -> string -> term list

       tokentrtab = merge_tokentrtabs tokentrtab1 tokentrtab2,
       prtabs = Printer.merge_prtabs prtabs1 prtabs2}, stamp ())
   end;
 
 
-(* type_syn *)
-
-val type_syn = empty_syntax |> extend_syntax default_mode TypeExt.type_ext;
-val pure_syn = type_syn |> extend_syntax default_mode SynExt.pure_ext;
+(* pure_syn *)
+
+val pure_syn =
+  empty_syntax
+  |> extend_syntax default_mode TypeExt.type_ext
+  |> extend_syntax default_mode SynExt.pure_ext;
 
 
 
 (** print syntax **)