Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/markup.scala
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"
isabelle