# HG changeset patch
# User wenzelm
# Date 1126977178 -7200
# Node ID e62a16c5ad823783d3951a8113fe6b6b83f17dbc
# Parent  bcbf48d5905985bc38f575a36270c8585a405eb4
manually generated from Isabelle/HOLCF/IOA/Complex/Import;

diff -r bcbf48d59059 -r e62a16c5ad82 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Sep 17 18:25:11 2005 +0200
+++ b/etc/isar-keywords.el	Sat Sep 17 19:12:58 2005 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
+;; This file was generated by Isabelle/HOLCF/IOA/Complex/Import -- DO NOT EDIT!
 ;;
 ;; $Id$
 ;;
@@ -22,6 +22,7 @@
     "ProofGeneral\\.try_context_thy_only"
     "ProofGeneral\\.undo"
     "also"
+    "append_dump"
     "apply"
     "apply_end"
     "arities"
@@ -43,6 +44,9 @@
     "code_module"
     "coinductive"
     "commit"
+    "const_maps"
+    "const_moves"
+    "const_renames"
     "constdefs"
     "consts"
     "consts_code"
@@ -52,6 +56,7 @@
     "datatype"
     "declare"
     "def"
+    "def_maps"
     "defaultsort"
     "defer"
     "defer_recdef"
@@ -62,6 +67,8 @@
     "done"
     "enable_pr"
     "end"
+    "end_import"
+    "end_setup"
     "exit"
     "extract"
     "extract_type"
@@ -71,6 +78,7 @@
     "fix"
     "fixpat"
     "fixrec"
+    "flush_dump"
     "from"
     "full_prf"
     "global"
@@ -78,6 +86,9 @@
     "header"
     "hence"
     "hide"
+    "ignore_thms"
+    "import_segment"
+    "import_theory"
     "inductive"
     "inductive_cases"
     "init_toplevel"
@@ -152,6 +163,8 @@
     "sect"
     "section"
     "setup"
+    "setup_dump"
+    "setup_theory"
     "show"
     "sorry"
     "specification"
@@ -169,6 +182,7 @@
     "theory"
     "thm"
     "thm_deps"
+    "thm_maps"
     "thms_containing"
     "thus"
     "token_translation"
@@ -179,6 +193,7 @@
     "txt"
     "txt_raw"
     "typ"
+    "type_maps"
     "typed_print_translation"
     "typedecl"
     "typedef"
@@ -347,6 +362,7 @@
 
 (defconst isar-keywords-theory-decl
   '("ML_setup"
+    "append_dump"
     "arities"
     "automaton"
     "axclass"
@@ -356,21 +372,31 @@
     "code_library"
     "code_module"
     "coinductive"
+    "const_maps"
+    "const_moves"
+    "const_renames"
     "constdefs"
     "consts"
     "consts_code"
     "datatype"
+    "def_maps"
     "defaultsort"
     "defer_recdef"
     "defs"
     "domain"
+    "end_import"
+    "end_setup"
     "extract"
     "extract_type"
     "finalconsts"
     "fixpat"
     "fixrec"
+    "flush_dump"
     "global"
     "hide"
+    "ignore_thms"
+    "import_segment"
+    "import_theory"
     "inductive"
     "judgment"
     "lemmas"
@@ -393,12 +419,16 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "setup_dump"
+    "setup_theory"
     "syntax"
     "text"
     "text_raw"
     "theorems"
+    "thm_maps"
     "token_translation"
     "translations"
+    "type_maps"
     "typed_print_translation"
     "typedecl"
     "types"