--- a/src/Pure/General/markup.ML Sun Apr 17 19:54:04 2011 +0200
+++ b/src/Pure/General/markup.ML Sun Apr 17 20:15:46 2011 +0200
@@ -38,12 +38,9 @@
val tyconN: string val tycon: string -> T
val fixed_declN: string val fixed_decl: string -> T
val fixedN: string val fixed: string -> T
- val const_declN: string val const_decl: string -> T
val constN: string val const: string -> T
- val fact_declN: string val fact_decl: string -> T
val factN: string val fact: string -> T
val dynamic_factN: string val dynamic_fact: string -> T
- val local_fact_declN: string val local_fact_decl: string -> T
val local_factN: string val local_fact: string -> T
val tfreeN: string val tfree: T
val tvarN: string val tvar: T
@@ -218,12 +215,9 @@
val (tyconN, tycon) = markup_string "tycon" nameN;
val (fixed_declN, fixed_decl) = markup_string "fixed_decl" nameN;
val (fixedN, fixed) = markup_string "fixed" nameN;
-val (const_declN, const_decl) = markup_string "const_decl" nameN;
val (constN, const) = markup_string "constant" nameN;
-val (fact_declN, fact_decl) = markup_string "fact_decl" nameN;
val (factN, fact) = markup_string "fact" nameN;
val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" nameN;
-val (local_fact_declN, local_fact_decl) = markup_string "local_fact_decl" nameN;
val (local_factN, local_fact) = markup_string "local_fact" nameN;