--- a/etc/isar-keywords.el Thu Feb 08 18:14:13 2007 +0100
+++ b/etc/isar-keywords.el Sat Feb 10 09:26:06 2007 +0100
@@ -51,6 +51,7 @@
"code_moduleprolog"
"code_monad"
"code_reserved"
+ "code_thms"
"code_type"
"coinductive"
"coinductive2"
@@ -142,7 +143,7 @@
"print_cases"
"print_claset"
"print_classes"
- "print_codethms"
+ "print_codesetup"
"print_commands"
"print_context"
"print_drafts"
@@ -249,6 +250,7 @@
"for"
"hide_action"
"hints"
+ "identifier"
"if"
"imports"
"in"
@@ -313,6 +315,7 @@
"cd"
"class_deps"
"code_gen"
+ "code_thms"
"commit"
"disable_pr"
"display_drafts"
@@ -333,7 +336,7 @@
"print_cases"
"print_claset"
"print_classes"
- "print_codethms"
+ "print_codesetup"
"print_commands"
"print_context"
"print_drafts"