1.1 --- a/etc/isar-keywords.el	Wed Sep 21 12:02:56 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Sep 21 12:03:41 2005 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated by Isabelle/HOLCF/IOA/Complex/Import -- DO NOT EDIT!
     1.7 +;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
     1.8  ;;
     1.9  ;; $Id$
    1.10  ;;
    1.11 @@ -22,7 +22,6 @@
    1.12      "ProofGeneral\\.try_context_thy_only"
    1.13      "ProofGeneral\\.undo"
    1.14      "also"
    1.15 -    "append_dump"
    1.16      "apply"
    1.17      "apply_end"
    1.18      "arities"
    1.19 @@ -44,9 +43,6 @@
    1.20      "code_module"
    1.21      "coinductive"
    1.22      "commit"
    1.23 -    "const_maps"
    1.24 -    "const_moves"
    1.25 -    "const_renames"
    1.26      "constdefs"
    1.27      "consts"
    1.28      "consts_code"
    1.29 @@ -56,7 +52,6 @@
    1.30      "datatype"
    1.31      "declare"
    1.32      "def"
    1.33 -    "def_maps"
    1.34      "defaultsort"
    1.35      "defer"
    1.36      "defer_recdef"
    1.37 @@ -67,8 +62,6 @@
    1.38      "done"
    1.39      "enable_pr"
    1.40      "end"
    1.41 -    "end_import"
    1.42 -    "end_setup"
    1.43      "exit"
    1.44      "extract"
    1.45      "extract_type"
    1.46 @@ -78,7 +71,6 @@
    1.47      "fix"
    1.48      "fixpat"
    1.49      "fixrec"
    1.50 -    "flush_dump"
    1.51      "from"
    1.52      "full_prf"
    1.53      "global"
    1.54 @@ -86,9 +78,6 @@
    1.55      "header"
    1.56      "hence"
    1.57      "hide"
    1.58 -    "ignore_thms"
    1.59 -    "import_segment"
    1.60 -    "import_theory"
    1.61      "inductive"
    1.62      "inductive_cases"
    1.63      "init_toplevel"
    1.64 @@ -163,8 +152,6 @@
    1.65      "sect"
    1.66      "section"
    1.67      "setup"
    1.68 -    "setup_dump"
    1.69 -    "setup_theory"
    1.70      "show"
    1.71      "sorry"
    1.72      "specification"
    1.73 @@ -182,8 +169,6 @@
    1.74      "theory"
    1.75      "thm"
    1.76      "thm_deps"
    1.77 -    "thm_maps"
    1.78 -    "thms_containing"
    1.79      "thus"
    1.80      "token_translation"
    1.81      "touch_all_thys"
    1.82 @@ -193,7 +178,6 @@
    1.83      "txt"
    1.84      "txt_raw"
    1.85      "typ"
    1.86 -    "type_maps"
    1.87      "typed_print_translation"
    1.88      "typedecl"
    1.89      "typedef"
    1.90 @@ -208,6 +192,7 @@
    1.91      "use_thy"
    1.92      "use_thy_only"
    1.93      "using"
    1.94 +    "value"
    1.95      "welcome"
    1.96      "with"
    1.97      "{"
    1.98 @@ -333,7 +318,6 @@
    1.99      "term"
   1.100      "thm"
   1.101      "thm_deps"
   1.102 -    "thms_containing"
   1.103      "touch_all_thys"
   1.104      "touch_child_thys"
   1.105      "touch_thy"
   1.106 @@ -343,6 +327,7 @@
   1.107      "use"
   1.108      "use_thy"
   1.109      "use_thy_only"
   1.110 +    "value"
   1.111      "welcome"))
   1.112  
   1.113  (defconst isar-keywords-theory-begin
   1.114 @@ -362,7 +347,6 @@
   1.115  
   1.116  (defconst isar-keywords-theory-decl
   1.117    '("ML_setup"
   1.118 -    "append_dump"
   1.119      "arities"
   1.120      "automaton"
   1.121      "axclass"
   1.122 @@ -372,31 +356,21 @@
   1.123      "code_library"
   1.124      "code_module"
   1.125      "coinductive"
   1.126 -    "const_maps"
   1.127 -    "const_moves"
   1.128 -    "const_renames"
   1.129      "constdefs"
   1.130      "consts"
   1.131      "consts_code"
   1.132      "datatype"
   1.133 -    "def_maps"
   1.134      "defaultsort"
   1.135      "defer_recdef"
   1.136      "defs"
   1.137      "domain"
   1.138 -    "end_import"
   1.139 -    "end_setup"
   1.140      "extract"
   1.141      "extract_type"
   1.142      "finalconsts"
   1.143      "fixpat"
   1.144      "fixrec"
   1.145 -    "flush_dump"
   1.146      "global"
   1.147      "hide"
   1.148 -    "ignore_thms"
   1.149 -    "import_segment"
   1.150 -    "import_theory"
   1.151      "inductive"
   1.152      "judgment"
   1.153      "lemmas"
   1.154 @@ -419,16 +393,12 @@
   1.155      "refute_params"
   1.156      "rep_datatype"
   1.157      "setup"
   1.158 -    "setup_dump"
   1.159 -    "setup_theory"
   1.160      "syntax"
   1.161      "text"
   1.162      "text_raw"
   1.163      "theorems"
   1.164 -    "thm_maps"
   1.165      "token_translation"
   1.166      "translations"
   1.167 -    "type_maps"
   1.168      "typed_print_translation"
   1.169      "typedecl"
   1.170      "types"