etc/isar-keywords.el

--- a/etc/isar-keywords.el	Thu Aug 25 16:17:40 2005 +0200
+++ b/etc/isar-keywords.el	Thu Aug 25 17:51:11 2005 +0200
@@ -39,6 +39,8 @@
     "classes"
     "classrel"
     "clear_undos"
+    "code_library"
+    "code_module"
     "coinductive"
     "commit"
     "constdefs"
@@ -70,7 +72,6 @@
     "fixrec"
     "from"
     "full_prf"
-    "generate_code"
     "global"
     "have"
     "header"
@@ -208,8 +209,10 @@
     "concl"
     "congs"
     "constrains"
+    "contains"
     "defines"
     "distinct"
+    "file"
     "files"
     "fixes"
     "hide_action"
@@ -348,6 +351,8 @@
     "axioms"
     "classes"
     "classrel"
+    "code_library"
+    "code_module"
     "coinductive"
     "constdefs"
     "consts"
@@ -362,7 +367,6 @@
     "finalconsts"
     "fixpat"
     "fixrec"
-    "generate_code"
     "global"
     "hide"
     "inductive"