changeset 42378 | d9fe47d21b41 |
parent 42376 | c3abf2c3f541 |
child 42492 | 83c57d850049 |
--- a/src/Pure/General/markup.scala Sun Apr 17 20:25:10 2011 +0200 +++ b/src/Pure/General/markup.scala Sun Apr 17 20:58:43 2011 +0200 @@ -152,9 +152,7 @@ val FIXED_DECL = "fixed_decl" val FIXED = "fixed" val CONST = "constant" - val FACT = "fact" val DYNAMIC_FACT = "dynamic_fact" - val LOCAL_FACT = "local_fact" /* inner syntax */