# HG changeset patch
# User wenzelm
# Date 1170023354 -3600
# Node ID d4797b5067528b4ffea2209e23f3bb03cfc65d45
# Parent  b617ddd200ebde19a34d4220d8136299a6974ac0
updated;

diff -r b617ddd200eb -r d4797b506752 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sun Jan 28 23:29:14 2007 +0100
@@ -178,6 +178,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -433,6 +434,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
diff -r b617ddd200eb -r d4797b506752 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Sun Jan 28 23:29:14 2007 +0100
@@ -164,6 +164,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "subsect"
     "subsection"
@@ -404,6 +405,7 @@
     "realizers"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"
diff -r b617ddd200eb -r d4797b506752 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sun Jan 28 11:52:52 2007 +0100
+++ b/etc/isar-keywords.el	Sun Jan 28 23:29:14 2007 +0100
@@ -181,6 +181,7 @@
     "section"
     "setup"
     "show"
+    "simproc_setup"
     "sorry"
     "specification"
     "subsect"
@@ -453,6 +454,7 @@
     "refute_params"
     "rep_datatype"
     "setup"
+    "simproc_setup"
     "syntax"
     "text"
     "text_raw"