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.
etc/isar-keywords-ZF.el
changeset 24919 ad3a8569759c
parent 24912 52bc004950c4
child 24945 2c27817065bc 
--- a/etc/isar-keywords-ZF.el	Mon Oct 08 22:03:31 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Oct 08 22:06:32 2007 +0200
@@ -159,6 +159,7 @@
     "show"
     "simproc_setup"
     "sorry"
+    "subclass"
     "subsect"
     "subsection"
     "subsubsect"
@@ -407,6 +408,7 @@
     "instance_proof"
     "interpretation"
     "lemma"
+    "subclass"
     "theorem"))
 
 (defconst isar-keywords-qed
isabelle