etc/isar-keywords-ZF.el
changeset 47057 12423b36fcc4
parent 46974 7ca3608146d8
child 47066 8a6124d09ff5
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Mar 20 18:01:34 2012 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Mar 20 20:00:13 2012 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4      "axiomatization"
     1.5      "axioms"
     1.6      "back"
     1.7 +    "bundle"
     1.8      "by"
     1.9      "cannot_undo"
    1.10      "case"
    1.11 @@ -76,6 +77,8 @@
    1.12      "hide_const"
    1.13      "hide_fact"
    1.14      "hide_type"
    1.15 +    "include"
    1.16 +    "including"
    1.17      "inductive"
    1.18      "inductive_cases"
    1.19      "init_toplevel"
    1.20 @@ -120,6 +123,7 @@
    1.21      "print_ast_translation"
    1.22      "print_attributes"
    1.23      "print_binds"
    1.24 +    "print_bundles"
    1.25      "print_cases"
    1.26      "print_claset"
    1.27      "print_classes"
    1.28 @@ -287,6 +291,7 @@
    1.29      "print_antiquotations"
    1.30      "print_attributes"
    1.31      "print_binds"
    1.32 +    "print_bundles"
    1.33      "print_cases"
    1.34      "print_claset"
    1.35      "print_classes"
    1.36 @@ -342,6 +347,7 @@
    1.37      "attribute_setup"
    1.38      "axiomatization"
    1.39      "axioms"
    1.40 +    "bundle"
    1.41      "class"
    1.42      "classes"
    1.43      "classrel"
    1.44 @@ -458,6 +464,8 @@
    1.45  (defconst isar-keywords-proof-decl
    1.46    '("ML_prf"
    1.47      "also"
    1.48 +    "include"
    1.49 +    "including"
    1.50      "let"
    1.51      "moreover"
    1.52      "note"