# HG changeset patch
# User wenzelm
# Date 1165683977 -3600
# Node ID 4d4cde71450089864613f937a718e2dabc016c83
# Parent  360fa2caaf2f9f72d1d630119511980d0b4ae89d
updated;

diff -r 360fa2caaf2f -r 4d4cde714500 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Dec 09 18:06:17 2006 +0100
@@ -91,6 +91,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -305,6 +306,7 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
diff -r 360fa2caaf2f -r 4d4cde714500 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Dec 09 18:06:17 2006 +0100
@@ -85,6 +85,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -122,6 +123,7 @@
     "pretty_setmargin"
     "prf"
     "primrec"
+    "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -284,11 +286,13 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
+    "print_abbrevs"
     "print_antiquotations"
     "print_attributes"
     "print_binds"
diff -r 360fa2caaf2f -r 4d4cde714500 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Dec 09 18:05:52 2006 +0100
+++ b/etc/isar-keywords.el	Sat Dec 09 18:06:17 2006 +0100
@@ -95,6 +95,7 @@
     "guess"
     "have"
     "header"
+    "help"
     "hence"
     "hide"
     "inductive"
@@ -135,6 +136,7 @@
     "pretty_setmargin"
     "prf"
     "primrec"
+    "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
     "print_attributes"
@@ -323,11 +325,13 @@
     "find_theorems"
     "full_prf"
     "header"
+    "help"
     "kill_thy"
     "normal_form"
     "pr"
     "pretty_setmargin"
     "prf"
+    "print_abbrevs"
     "print_antiquotations"
     "print_attributes"
     "print_binds"