1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Thu Feb 08 18:14:13 2007 +0100
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Sat Feb 10 09:26:06 2007 +0100
     1.3 @@ -51,6 +51,7 @@
     1.4      "code_moduleprolog"
     1.5      "code_monad"
     1.6      "code_reserved"
     1.7 +    "code_thms"
     1.8      "code_type"
     1.9      "coinductive"
    1.10      "coinductive2"
    1.11 @@ -139,7 +140,7 @@
    1.12      "print_cases"
    1.13      "print_claset"
    1.14      "print_classes"
    1.15 -    "print_codethms"
    1.16 +    "print_codesetup"
    1.17      "print_commands"
    1.18      "print_context"
    1.19      "print_drafts"
    1.20 @@ -244,6 +245,7 @@
    1.21      "for"
    1.22      "freshness_context"
    1.23      "hints"
    1.24 +    "identifier"
    1.25      "if"
    1.26      "imports"
    1.27      "in"
    1.28 @@ -295,6 +297,7 @@
    1.29      "cd"
    1.30      "class_deps"
    1.31      "code_gen"
    1.32 +    "code_thms"
    1.33      "commit"
    1.34      "disable_pr"
    1.35      "display_drafts"
    1.36 @@ -315,7 +318,7 @@
    1.37      "print_cases"
    1.38      "print_claset"
    1.39      "print_classes"
    1.40 -    "print_codethms"
    1.41 +    "print_codesetup"
    1.42      "print_commands"
    1.43      "print_context"
    1.44      "print_drafts"

     2.1 --- a/etc/isar-keywords-ZF.el	Thu Feb 08 18:14:13 2007 +0100
     2.2 +++ b/etc/isar-keywords-ZF.el	Sat Feb 10 09:26:06 2007 +0100
     2.3 @@ -49,6 +49,7 @@
     2.4      "code_moduleprolog"
     2.5      "code_monad"
     2.6      "code_reserved"
     2.7 +    "code_thms"
     2.8      "code_type"
     2.9      "coinductive"
    2.10      "commit"
    2.11 @@ -129,7 +130,7 @@
    2.12      "print_cases"
    2.13      "print_claset"
    2.14      "print_classes"
    2.15 -    "print_codethms"
    2.16 +    "print_codesetup"
    2.17      "print_commands"
    2.18      "print_context"
    2.19      "print_drafts"
    2.20 @@ -227,6 +228,7 @@
    2.21      "file"
    2.22      "fixes"
    2.23      "for"
    2.24 +    "identifier"
    2.25      "if"
    2.26      "imports"
    2.27      "in"
    2.28 @@ -274,6 +276,7 @@
    2.29      "cd"
    2.30      "class_deps"
    2.31      "code_gen"
    2.32 +    "code_thms"
    2.33      "commit"
    2.34      "disable_pr"
    2.35      "display_drafts"
    2.36 @@ -294,7 +297,7 @@
    2.37      "print_cases"
    2.38      "print_claset"
    2.39      "print_classes"
    2.40 -    "print_codethms"
    2.41 +    "print_codesetup"
    2.42      "print_commands"
    2.43      "print_context"
    2.44      "print_drafts"

     3.1 --- a/etc/isar-keywords.el	Thu Feb 08 18:14:13 2007 +0100
     3.2 +++ b/etc/isar-keywords.el	Sat Feb 10 09:26:06 2007 +0100
     3.3 @@ -51,6 +51,7 @@
     3.4      "code_moduleprolog"
     3.5      "code_monad"
     3.6      "code_reserved"
     3.7 +    "code_thms"
     3.8      "code_type"
     3.9      "coinductive"
    3.10      "coinductive2"
    3.11 @@ -142,7 +143,7 @@
    3.12      "print_cases"
    3.13      "print_claset"
    3.14      "print_classes"
    3.15 -    "print_codethms"
    3.16 +    "print_codesetup"
    3.17      "print_commands"
    3.18      "print_context"
    3.19      "print_drafts"
    3.20 @@ -249,6 +250,7 @@
    3.21      "for"
    3.22      "hide_action"
    3.23      "hints"
    3.24 +    "identifier"
    3.25      "if"
    3.26      "imports"
    3.27      "in"
    3.28 @@ -313,6 +315,7 @@
    3.29      "cd"
    3.30      "class_deps"
    3.31      "code_gen"
    3.32 +    "code_thms"
    3.33      "commit"
    3.34      "disable_pr"
    3.35      "display_drafts"
    3.36 @@ -333,7 +336,7 @@
    3.37      "print_cases"
    3.38      "print_claset"
    3.39      "print_classes"
    3.40 -    "print_codethms"
    3.41 +    "print_codesetup"
    3.42      "print_commands"
    3.43      "print_context"
    3.44      "print_drafts"