diff -r 40fe6b80b481 -r 348aed032cda etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat May 25 13:59:08 2013 +0200
+++ b/etc/isar-keywords.el	Sat May 25 15:00:53 2013 +0200
@@ -52,11 +52,13 @@
     "code_const"
     "code_datatype"
     "code_deps"
+    "code_identifier"
     "code_include"
     "code_instance"
     "code_modulename"
     "code_monad"
     "code_pred"
+    "code_printing"
     "code_reflect"
     "code_reserved"
     "code_thms"
@@ -309,7 +311,11 @@
     "begin"
     "binder"
     "checking"
+    "class_instance"
+    "class_relation"
+    "code_module"
     "congs"
+    "constant"
     "constrains"
     "datatypes"
     "defaults"
@@ -345,6 +351,8 @@
     "rep_compat"
     "shows"
     "structure"
+    "type_class"
+    "type_constructor"
     "unchecked"
     "unsafe"
     "where"))
@@ -487,10 +495,12 @@
     "code_class"
     "code_const"
     "code_datatype"
+    "code_identifier"
     "code_include"
     "code_instance"
     "code_modulename"
     "code_monad"
+    "code_printing"
     "code_reflect"
     "code_reserved"
     "code_type"