diff -r a5d0bfcaf26a -r 4f6760122b2a etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Feb 22 10:28:00 2010 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Feb 22 10:28:49 2010 +0100
@@ -44,6 +44,7 @@
     "classes"
     "classrel"
     "codatatype"
+    "code_abstype"
     "code_datatype"
     "code_library"
     "code_module"
@@ -413,7 +414,8 @@
   '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
-  '("corollary"
+  '("code_abstype"
+    "corollary"
     "instance"
     "interpretation"
     "lemma"