1.1 --- a/etc/isar-keywords-ZF.el Thu Mar 10 09:11:57 2005 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Thu Mar 10 17:48:36 2005 +0100
1.3 @@ -74,6 +74,7 @@
1.4 "init_toplevel"
1.5 "instance"
1.6 "instantiate"
1.7 + "interpretation"
1.8 "judgment"
1.9 "kill"
1.10 "kill_thy"
1.11 @@ -109,11 +110,11 @@
1.12 "print_drafts"
1.13 "print_facts"
1.14 "print_induct_rules"
1.15 + "print_interps"
1.16 "print_intros"
1.17 "print_locale"
1.18 "print_locales"
1.19 "print_methods"
1.20 - "print_registrations"
1.21 "print_rules"
1.22 "print_simpset"
1.23 "print_syntax"
1.24 @@ -132,7 +133,6 @@
1.25 "realizability"
1.26 "realizers"
1.27 "redo"
1.28 - "registration"
1.29 "remove_thy"
1.30 "rep_datatype"
1.31 "sect"
1.32 @@ -261,11 +261,11 @@
1.33 "print_drafts"
1.34 "print_facts"
1.35 "print_induct_rules"
1.36 + "print_interps"
1.37 "print_intros"
1.38 "print_locale"
1.39 "print_locales"
1.40 "print_methods"
1.41 - "print_registrations"
1.42 "print_rules"
1.43 "print_simpset"
1.44 "print_syntax"
1.45 @@ -364,8 +364,8 @@
1.46 (defconst isar-keywords-theory-goal
1.47 '("corollary"
1.48 "instance"
1.49 + "interpretation"
1.50 "lemma"
1.51 - "registration"
1.52 "theorem"))
1.53
1.54 (defconst isar-keywords-qed