# HG changeset patch
# User wenzelm
# Date 1005845715 -3600
# Node ID 510c3eee55de97884bd636d39bef2a0324ddcba3
# Parent  2f510d8d8291a07c7cb19f2169ae5c1d9027c9f9
updated;

diff -r 2f510d8d8291 -r 510c3eee55de etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Nov 15 18:34:58 2001 +0100
+++ b/etc/isar-keywords-ZF.el	Thu Nov 15 18:35:15 2001 +0100
@@ -118,6 +118,7 @@
     "quit"
     "redo"
     "remove_thy"
+    "rep_datatype"
     "sect"
     "section"
     "setup"
@@ -168,13 +169,16 @@
   '("and"
     "assumes"
     "binder"
+    "case_eqns"
     "con_defs"
     "concl"
     "defines"
     "domains"
+    "elimination"
     "files"
     "fixes"
     "in"
+    "induction"
     "infix"
     "infixl"
     "infixr"
@@ -184,6 +188,7 @@
     "notes"
     "output"
     "overloaded"
+    "recursor_eqns"
     "structure"
     "type_elims"
     "type_intros"
@@ -303,6 +308,7 @@
     "primrec"
     "print_ast_translation"
     "print_translation"
+    "rep_datatype"
     "setup"
     "syntax"
     "text"