diff -r 853c777f2907 -r e49fd7b1d932 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sun Apr 11 16:51:36 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Sun Apr 11 17:40:43 2010 +0200
@@ -43,7 +43,6 @@
     "classes"
     "classrel"
     "codatatype"
-    "code_abstype"
     "code_datatype"
     "code_library"
     "code_module"
@@ -416,8 +415,7 @@
   '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
-  '("code_abstype"
-    "corollary"
+  '("corollary"
     "instance"
     "interpretation"
     "lemma"