updated;
authorwenzelm
Wed Nov 14 18:42:34 2001 +0100 (2001-11-14 ago)
changeset 121795b427479cc14
parent 12178 06c3d9a884c5
child 12180 91c9f661b183
updated;
etc/isar-keywords-ZF.el
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Nov 13 22:36:38 2001 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Nov 14 18:42:34 2001 +0100
     1.3 @@ -34,6 +34,7 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "clear_undos"
     1.7 +    "codatatype"
     1.8      "coinductive"
     1.9      "commit"
    1.10      "constdefs"
    1.11 @@ -41,6 +42,7 @@
    1.12      "consts_code"
    1.13      "context"
    1.14      "corollary"
    1.15 +    "datatype"
    1.16      "declare"
    1.17      "def"
    1.18      "defaultsort"
    1.19 @@ -88,6 +90,7 @@
    1.20      "presume"
    1.21      "pretty_setmargin"
    1.22      "prf"
    1.23 +    "primrec"
    1.24      "print_antiquotations"
    1.25      "print_ast_translation"
    1.26      "print_attributes"
    1.27 @@ -274,10 +277,12 @@
    1.28      "axioms"
    1.29      "classes"
    1.30      "classrel"
    1.31 +    "codatatype"
    1.32      "coinductive"
    1.33      "constdefs"
    1.34      "consts"
    1.35      "consts_code"
    1.36 +    "datatype"
    1.37      "defaultsort"
    1.38      "defs"
    1.39      "generate_code"
    1.40 @@ -293,6 +298,7 @@
    1.41      "oracle"
    1.42      "parse_ast_translation"
    1.43      "parse_translation"
    1.44 +    "primrec"
    1.45      "print_ast_translation"
    1.46      "print_translation"
    1.47      "setup"