1.1 --- a/etc/isar-keywords.el Sun Apr 11 16:51:36 2010 +0200
1.2 +++ b/etc/isar-keywords.el Sun Apr 11 17:40:43 2010 +0200
1.3 @@ -54,7 +54,6 @@
1.4 "classes"
1.5 "classrel"
1.6 "code_abort"
1.7 - "code_abstype"
1.8 "code_class"
1.9 "code_const"
1.10 "code_datatype"
1.11 @@ -224,6 +223,7 @@
1.12 "show"
1.13 "simproc_setup"
1.14 "sledgehammer"
1.15 + "sledgehammer_params"
1.16 "smt_status"
1.17 "sorry"
1.18 "specification"
1.19 @@ -530,6 +530,7 @@
1.20 "repdef"
1.21 "setup"
1.22 "simproc_setup"
1.23 + "sledgehammer_params"
1.24 "statespace"
1.25 "syntax"
1.26 "text"
1.27 @@ -549,7 +550,6 @@
1.28 (defconst isar-keywords-theory-goal
1.29 '("ax_specification"
1.30 "boogie_vc"
1.31 - "code_abstype"
1.32 "code_pred"
1.33 "corollary"
1.34 "cpodef"