1.1 --- a/etc/isar-keywords-HOL-Nominal.el Sat Dec 09 18:05:52 2006 +0100
1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Sat Dec 09 18:06:17 2006 +0100
1.3 @@ -91,6 +91,7 @@
1.4 "guess"
1.5 "have"
1.6 "header"
1.7 + "help"
1.8 "hence"
1.9 "hide"
1.10 "inductive"
1.11 @@ -305,6 +306,7 @@
1.12 "find_theorems"
1.13 "full_prf"
1.14 "header"
1.15 + "help"
1.16 "kill_thy"
1.17 "normal_form"
1.18 "pr"
2.1 --- a/etc/isar-keywords-ZF.el Sat Dec 09 18:05:52 2006 +0100
2.2 +++ b/etc/isar-keywords-ZF.el Sat Dec 09 18:06:17 2006 +0100
2.3 @@ -85,6 +85,7 @@
2.4 "guess"
2.5 "have"
2.6 "header"
2.7 + "help"
2.8 "hence"
2.9 "hide"
2.10 "inductive"
2.11 @@ -122,6 +123,7 @@
2.12 "pretty_setmargin"
2.13 "prf"
2.14 "primrec"
2.15 + "print_abbrevs"
2.16 "print_antiquotations"
2.17 "print_ast_translation"
2.18 "print_attributes"
2.19 @@ -284,11 +286,13 @@
2.20 "find_theorems"
2.21 "full_prf"
2.22 "header"
2.23 + "help"
2.24 "kill_thy"
2.25 "normal_form"
2.26 "pr"
2.27 "pretty_setmargin"
2.28 "prf"
2.29 + "print_abbrevs"
2.30 "print_antiquotations"
2.31 "print_attributes"
2.32 "print_binds"
3.1 --- a/etc/isar-keywords.el Sat Dec 09 18:05:52 2006 +0100
3.2 +++ b/etc/isar-keywords.el Sat Dec 09 18:06:17 2006 +0100
3.3 @@ -95,6 +95,7 @@
3.4 "guess"
3.5 "have"
3.6 "header"
3.7 + "help"
3.8 "hence"
3.9 "hide"
3.10 "inductive"
3.11 @@ -135,6 +136,7 @@
3.12 "pretty_setmargin"
3.13 "prf"
3.14 "primrec"
3.15 + "print_abbrevs"
3.16 "print_antiquotations"
3.17 "print_ast_translation"
3.18 "print_attributes"
3.19 @@ -323,11 +325,13 @@
3.20 "find_theorems"
3.21 "full_prf"
3.22 "header"
3.23 + "help"
3.24 "kill_thy"
3.25 "normal_form"
3.26 "pr"
3.27 "pretty_setmargin"
3.28 "prf"
3.29 + "print_abbrevs"
3.30 "print_antiquotations"
3.31 "print_attributes"
3.32 "print_binds"