1.1 --- a/etc/isar-keywords-HOL-Nominal.el Sun Jan 28 11:52:52 2007 +0100
1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Sun Jan 28 23:29:14 2007 +0100
1.3 @@ -178,6 +178,7 @@
1.4 "section"
1.5 "setup"
1.6 "show"
1.7 + "simproc_setup"
1.8 "sorry"
1.9 "specification"
1.10 "subsect"
1.11 @@ -433,6 +434,7 @@
1.12 "refute_params"
1.13 "rep_datatype"
1.14 "setup"
1.15 + "simproc_setup"
1.16 "syntax"
1.17 "text"
1.18 "text_raw"
2.1 --- a/etc/isar-keywords-ZF.el Sun Jan 28 11:52:52 2007 +0100
2.2 +++ b/etc/isar-keywords-ZF.el Sun Jan 28 23:29:14 2007 +0100
2.3 @@ -164,6 +164,7 @@
2.4 "section"
2.5 "setup"
2.6 "show"
2.7 + "simproc_setup"
2.8 "sorry"
2.9 "subsect"
2.10 "subsection"
2.11 @@ -404,6 +405,7 @@
2.12 "realizers"
2.13 "rep_datatype"
2.14 "setup"
2.15 + "simproc_setup"
2.16 "syntax"
2.17 "text"
2.18 "text_raw"
3.1 --- a/etc/isar-keywords.el Sun Jan 28 11:52:52 2007 +0100
3.2 +++ b/etc/isar-keywords.el Sun Jan 28 23:29:14 2007 +0100
3.3 @@ -181,6 +181,7 @@
3.4 "section"
3.5 "setup"
3.6 "show"
3.7 + "simproc_setup"
3.8 "sorry"
3.9 "specification"
3.10 "subsect"
3.11 @@ -453,6 +454,7 @@
3.12 "refute_params"
3.13 "rep_datatype"
3.14 "setup"
3.15 + "simproc_setup"
3.16 "syntax"
3.17 "text"
3.18 "text_raw"