updated;
authorwenzelm
Thu Nov 15 18:35:15 2001 +0100 (2001-11-15)
changeset 12211510c3eee55de
parent 12210 2f510d8d8291
child 12212 657ad5edeab6
updated;
etc/isar-keywords-ZF.el
     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"