etc/isar-keywords.el
changeset 14115 65ec3f73d00b
parent 14109 7aa5b79daffb
child 14223 0ee05eef881b
--- a/etc/isar-keywords.el	Wed Jul 16 12:09:41 2003 +0200
+++ b/etc/isar-keywords.el	Thu Jul 17 15:23:20 2003 +0200
@@ -136,6 +136,7 @@
     "setup"
     "show"
     "sorry"
+    "specification"
     "subsect"
     "subsection"
     "subsubsect"
@@ -373,6 +374,7 @@
     "instance"
     "lemma"
     "recdef_tc"
+    "specification"
     "theorem"
     "typedef"))