changeset 42376 | c3abf2c3f541 |
parent 42327 | 7c7cc7590eb3 |
child 42378 | d9fe47d21b41 |
--- a/src/Pure/General/markup.scala Sun Apr 17 19:54:04 2011 +0200 +++ b/src/Pure/General/markup.scala Sun Apr 17 20:15:46 2011 +0200 @@ -151,12 +151,9 @@ val TYCON = "tycon" val FIXED_DECL = "fixed_decl" val FIXED = "fixed" - val CONST_DECL = "const_decl" val CONST = "constant" - val FACT_DECL = "fact_decl" val FACT = "fact" val DYNAMIC_FACT = "dynamic_fact" - val LOCAL_FACT_DECL = "local_fact_decl" val LOCAL_FACT = "local_fact"