1.1 --- a/etc/isar-keywords-ZF.el Tue Mar 08 16:02:52 2005 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Wed Mar 09 18:44:52 2005 +0100
1.3 @@ -113,6 +113,7 @@
1.4 "print_locale"
1.5 "print_locales"
1.6 "print_methods"
1.7 + "print_registrations"
1.8 "print_rules"
1.9 "print_simpset"
1.10 "print_syntax"
1.11 @@ -131,6 +132,7 @@
1.12 "realizability"
1.13 "realizers"
1.14 "redo"
1.15 + "registration"
1.16 "remove_thy"
1.17 "rep_datatype"
1.18 "sect"
1.19 @@ -263,6 +265,7 @@
1.20 "print_locale"
1.21 "print_locales"
1.22 "print_methods"
1.23 + "print_registrations"
1.24 "print_rules"
1.25 "print_simpset"
1.26 "print_syntax"
1.27 @@ -362,6 +365,7 @@
1.28 '("corollary"
1.29 "instance"
1.30 "lemma"
1.31 + "registration"
1.32 "theorem"))
1.33
1.34 (defconst isar-keywords-qed