1.1 --- a/etc/isar-keywords-ZF.el Thu Nov 15 18:34:58 2001 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Thu Nov 15 18:35:15 2001 +0100
1.3 @@ -118,6 +118,7 @@
1.4 "quit"
1.5 "redo"
1.6 "remove_thy"
1.7 + "rep_datatype"
1.8 "sect"
1.9 "section"
1.10 "setup"
1.11 @@ -168,13 +169,16 @@
1.12 '("and"
1.13 "assumes"
1.14 "binder"
1.15 + "case_eqns"
1.16 "con_defs"
1.17 "concl"
1.18 "defines"
1.19 "domains"
1.20 + "elimination"
1.21 "files"
1.22 "fixes"
1.23 "in"
1.24 + "induction"
1.25 "infix"
1.26 "infixl"
1.27 "infixr"
1.28 @@ -184,6 +188,7 @@
1.29 "notes"
1.30 "output"
1.31 "overloaded"
1.32 + "recursor_eqns"
1.33 "structure"
1.34 "type_elims"
1.35 "type_intros"
1.36 @@ -303,6 +308,7 @@
1.37 "primrec"
1.38 "print_ast_translation"
1.39 "print_translation"
1.40 + "rep_datatype"
1.41 "setup"
1.42 "syntax"
1.43 "text"