src/Pure/General/markup.ML

   val widthN: string
   val breakN: string val break: int -> T
   val fbreakN: string val fbreak: T
   val classN: string val class: string -> T
   val tyconN: string val tycon: string -> T
+  val fixedN: string val fixed: string -> T
   val constN: string val const: string -> T
   val axiomN: string val axiom: string -> T
   val tfreeN: string val tfree: T
   val tvarN: string val tvar: T
   val freeN: string val free: T

 
 (* logical entities *)
 
 val (classN, class) = markup_string "class" nameN;
 val (tyconN, tycon) = markup_string "tycon" nameN;
+val (fixedN, fixed) = markup_string "fixed" nameN;
 val (constN, const) = markup_string "const" nameN;
 val (axiomN, axiom) = markup_string "axiom" nameN;
 
 
 (* inner syntax *)