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"