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"