src/Pure/General/markup.ML

   val indentN: string
   val blockN: string val block: int -> T
   val widthN: string
   val breakN: string val break: int -> T
   val fbreakN: string val fbreak: T
-  val classN: string val class: string -> T
+  val tclassN: string val tclass: string -> T
   val tyconN: string val tycon: string -> T
   val fixedN: string val fixed: string -> T
   val constN: string val const: string -> T
   val factN: string val fact: string -> T
   val dynamic_factN: string val dynamic_fact: string -> T

 val (fbreakN, fbreak) = markup_elem "fbreak";
 
 
 (* logical entities *)
 
-val (classN, class) = markup_string "class" nameN;
+val (tclassN, tclass) = markup_string "tclass" nameN;
 val (tyconN, tycon) = markup_string "tycon" nameN;
 val (fixedN, fixed) = markup_string "fixed" nameN;
 val (constN, const) = markup_string "const" nameN;
 val (factN, fact) = markup_string "fact" nameN;
 val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" nameN;