changeset 22200 | d4797b506752 |
parent 22084 | 2fef69700f50 |
child 22288 | c565f33ec70f |
--- 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"