1.1 --- a/etc/isar-keywords-ZF.el	Sun Jul 21 15:45:41 2002 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Sun Jul 21 15:52:39 2002 +0200
     1.3 @@ -53,6 +53,8 @@
     1.4      "enable_pr"
     1.5      "end"
     1.6      "exit"
     1.7 +    "extract"
     1.8 +    "extract_type"
     1.9      "finally"
    1.10      "fix"
    1.11      "from"
    1.12 @@ -117,6 +119,8 @@
    1.13      "pwd"
    1.14      "qed"
    1.15      "quit"
    1.16 +    "realizability"
    1.17 +    "realizers"
    1.18      "redo"
    1.19      "remove_thy"
    1.20      "rep_datatype"
    1.21 @@ -297,6 +301,8 @@
    1.22      "datatype"
    1.23      "defaultsort"
    1.24      "defs"
    1.25 +    "extract"
    1.26 +    "extract_type"
    1.27      "generate_code"
    1.28      "global"
    1.29      "hide"
    1.30 @@ -313,6 +319,8 @@
    1.31      "primrec"
    1.32      "print_ast_translation"
    1.33      "print_translation"
    1.34 +    "realizability"
    1.35 +    "realizers"
    1.36      "rep_datatype"
    1.37      "setup"
    1.38      "syntax"