From da1430884d485384b3e106d4add309feb4147cac Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 22 Sep 2005 18:51:32 +0000
Subject: updated from pre-Isabelle2005;

---
 isar/isar-keywords.el | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index da1f5f0e..d42c682e 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -44,6 +44,8 @@
     "classes"
     "classrel"
     "clear_undos"
+    "code_library"
+    "code_module"
     "coinductive"
     "commit"
     "constdefs"
@@ -70,12 +72,12 @@
     "extract_type"
     "finalconsts"
     "finally"
+    "find_theorems"
     "fix"
     "fixpat"
     "fixrec"
     "from"
     "full_prf"
-    "generate_code"
     "global"
     "have"
     "header"
@@ -172,7 +174,6 @@
     "theory"
     "thm"
     "thm_deps"
-    "thms_containing"
     "thus"
     "token_translation"
     "touch_all_thys"
@@ -196,6 +197,7 @@
     "use_thy"
     "use_thy_only"
     "using"
+    "value"
     "welcome"
     "with"
     "{"
@@ -213,8 +215,10 @@
     "concl"
     "congs"
     "constrains"
+    "contains"
     "defines"
     "distinct"
+    "file"
     "files"
     "fixes"
     "hide_action"
@@ -284,6 +288,7 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
+    "find_theorems"
     "full_prf"
     "header"
     "kill_thy"
@@ -318,7 +323,6 @@
     "term"
     "thm"
     "thm_deps"
-    "thms_containing"
     "touch_all_thys"
     "touch_child_thys"
     "touch_thy"
@@ -328,6 +332,7 @@
     "use"
     "use_thy"
     "use_thy_only"
+    "value"
     "welcome"))
 
 (defconst isar-keywords-theory-begin
@@ -353,6 +358,8 @@
     "axioms"
     "classes"
     "classrel"
+    "code_library"
+    "code_module"
     "coinductive"
     "constdefs"
     "consts"
@@ -367,7 +374,6 @@
     "finalconsts"
     "fixpat"
     "fixrec"
-    "generate_code"
     "global"
     "hide"
     "inductive"
-- 
cgit v1.2.3