diff -r 9a786d5f8821 -r 548e2d3105b9 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Jun 14 17:26:15 2008 +0200
+++ b/etc/isar-keywords.el	Sat Jun 14 17:49:24 2008 +0200
@@ -52,7 +52,6 @@
     "code_module"
     "code_modulename"
     "code_monad"
-    "code_props"
     "code_reserved"
     "code_thms"
     "code_type"
@@ -217,7 +216,6 @@
     "thm_deps"
     "thus"
     "thy_deps"
-    "token_translation"
     "touch_child_thys"
     "touch_thy"
     "translations"
@@ -420,7 +418,6 @@
     "code_module"
     "code_modulename"
     "code_monad"
-    "code_props"
     "code_reserved"
     "code_type"
     "coinductive"
@@ -480,7 +477,6 @@
     "text"
     "text_raw"
     "theorems"
-    "token_translation"
     "translations"
     "typed_print_translation"
     "typedecl"