diff -r 22013215eece -r ad3a8569759c etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Oct 08 22:03:31 2007 +0200
+++ b/etc/isar-keywords.el	Mon Oct 08 22:06:32 2007 +0200
@@ -198,6 +198,7 @@
     "sledgehammer"
     "sorry"
     "specification"
+    "subclass"
     "subsect"
     "subsection"
     "subsubsect"
@@ -506,6 +507,7 @@
     "pcpodef"
     "recdef_tc"
     "specification"
+    "subclass"
     "termination"
     "theorem"
     "typedef"))