Adapted to new code generator syntax.
authorberghofe
Thu Aug 25 17:51:11 2005 +0200 (2005-08-25)
changeset 17147fa9e28b23d70
parent 17146 67e9b86ed211
child 17148 858cab621db2
Adapted to new code generator syntax.
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Thu Aug 25 16:17:40 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Aug 25 17:51:11 2005 +0200
     1.3 @@ -37,6 +37,8 @@
     1.4      "classrel"
     1.5      "clear_undos"
     1.6      "codatatype"
     1.7 +    "code_library"
     1.8 +    "code_module"
     1.9      "coinductive"
    1.10      "commit"
    1.11      "constdefs"
    1.12 @@ -63,7 +65,6 @@
    1.13      "fix"
    1.14      "from"
    1.15      "full_prf"
    1.16 -    "generate_code"
    1.17      "global"
    1.18      "have"
    1.19      "header"
    1.20 @@ -186,15 +187,18 @@
    1.21    '("advanced"
    1.22      "and"
    1.23      "assumes"
    1.24 +    "attach"
    1.25      "begin"
    1.26      "binder"
    1.27      "case_eqns"
    1.28      "con_defs"
    1.29      "concl"
    1.30      "constrains"
    1.31 +    "contains"
    1.32      "defines"
    1.33      "domains"
    1.34      "elimination"
    1.35 +    "file"
    1.36      "files"
    1.37      "fixes"
    1.38      "imports"
    1.39 @@ -316,6 +320,8 @@
    1.40      "classes"
    1.41      "classrel"
    1.42      "codatatype"
    1.43 +    "code_library"
    1.44 +    "code_module"
    1.45      "coinductive"
    1.46      "constdefs"
    1.47      "consts"
    1.48 @@ -326,7 +332,6 @@
    1.49      "extract"
    1.50      "extract_type"
    1.51      "finalconsts"
    1.52 -    "generate_code"
    1.53      "global"
    1.54      "hide"
    1.55      "inductive"
     2.1 --- a/etc/isar-keywords.el	Thu Aug 25 16:17:40 2005 +0200
     2.2 +++ b/etc/isar-keywords.el	Thu Aug 25 17:51:11 2005 +0200
     2.3 @@ -39,6 +39,8 @@
     2.4      "classes"
     2.5      "classrel"
     2.6      "clear_undos"
     2.7 +    "code_library"
     2.8 +    "code_module"
     2.9      "coinductive"
    2.10      "commit"
    2.11      "constdefs"
    2.12 @@ -70,7 +72,6 @@
    2.13      "fixrec"
    2.14      "from"
    2.15      "full_prf"
    2.16 -    "generate_code"
    2.17      "global"
    2.18      "have"
    2.19      "header"
    2.20 @@ -208,8 +209,10 @@
    2.21      "concl"
    2.22      "congs"
    2.23      "constrains"
    2.24 +    "contains"
    2.25      "defines"
    2.26      "distinct"
    2.27 +    "file"
    2.28      "files"
    2.29      "fixes"
    2.30      "hide_action"
    2.31 @@ -348,6 +351,8 @@
    2.32      "axioms"
    2.33      "classes"
    2.34      "classrel"
    2.35 +    "code_library"
    2.36 +    "code_module"
    2.37      "coinductive"
    2.38      "constdefs"
    2.39      "consts"
    2.40 @@ -362,7 +367,6 @@
    2.41      "finalconsts"
    2.42      "fixpat"
    2.43      "fixrec"
    2.44 -    "generate_code"
    2.45      "global"
    2.46      "hide"
    2.47      "inductive"