# HG changeset patch
# User wenzelm
# Date 1005759754 -3600
# Node ID 5b427479cc14c266bd3c4c1af5160c8ce80138c3
# Parent  06c3d9a884c5c200e467bec91f25ed0ff2eedf28
updated;

diff -r 06c3d9a884c5 -r 5b427479cc14 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Nov 13 22:36:38 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Nov 14 18:42:34 2001 +0100
@@ -34,6 +34,7 @@
     "classes"
     "classrel"
     "clear_undos"
+    "codatatype"
     "coinductive"
     "commit"
     "constdefs"
@@ -41,6 +42,7 @@
     "consts_code"
     "context"
     "corollary"
+    "datatype"
     "declare"
     "def"
     "defaultsort"
@@ -88,6 +90,7 @@
     "presume"
     "pretty_setmargin"
     "prf"
+    "primrec"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -274,10 +277,12 @@
     "axioms"
     "classes"
     "classrel"
+    "codatatype"
     "coinductive"
     "constdefs"
     "consts"
     "consts_code"
+    "datatype"
     "defaultsort"
     "defs"
     "generate_code"
@@ -293,6 +298,7 @@
     "oracle"
     "parse_ast_translation"
     "parse_translation"
+    "primrec"
     "print_ast_translation"
     "print_translation"
     "setup"