1.1 --- a/etc/isar-keywords-ZF.el Sat Dec 09 18:05:52 2006 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Sat Dec 09 18:06:17 2006 +0100
1.3 @@ -85,6 +85,7 @@
1.4 "guess"
1.5 "have"
1.6 "header"
1.7 + "help"
1.8 "hence"
1.9 "hide"
1.10 "inductive"
1.11 @@ -122,6 +123,7 @@
1.12 "pretty_setmargin"
1.13 "prf"
1.14 "primrec"
1.15 + "print_abbrevs"
1.16 "print_antiquotations"
1.17 "print_ast_translation"
1.18 "print_attributes"
1.19 @@ -284,11 +286,13 @@
1.20 "find_theorems"
1.21 "full_prf"
1.22 "header"
1.23 + "help"
1.24 "kill_thy"
1.25 "normal_form"
1.26 "pr"
1.27 "pretty_setmargin"
1.28 "prf"
1.29 + "print_abbrevs"
1.30 "print_antiquotations"
1.31 "print_attributes"
1.32 "print_binds"