1.1 --- a/etc/isar-keywords-ZF.el Sun Apr 11 16:51:36 2010 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Sun Apr 11 17:40:43 2010 +0200
1.3 @@ -43,7 +43,6 @@
1.4 "classes"
1.5 "classrel"
1.6 "codatatype"
1.7 - "code_abstype"
1.8 "code_datatype"
1.9 "code_library"
1.10 "code_module"
1.11 @@ -416,8 +415,7 @@
1.12 '("inductive_cases"))
1.13
1.14 (defconst isar-keywords-theory-goal
1.15 - '("code_abstype"
1.16 - "corollary"
1.17 + '("corollary"
1.18 "instance"
1.19 "interpretation"
1.20 "lemma"
2.1 --- a/etc/isar-keywords.el Sun Apr 11 16:51:36 2010 +0200
2.2 +++ b/etc/isar-keywords.el Sun Apr 11 17:40:43 2010 +0200
2.3 @@ -54,7 +54,6 @@
2.4 "classes"
2.5 "classrel"
2.6 "code_abort"
2.7 - "code_abstype"
2.8 "code_class"
2.9 "code_const"
2.10 "code_datatype"
2.11 @@ -224,6 +223,7 @@
2.12 "show"
2.13 "simproc_setup"
2.14 "sledgehammer"
2.15 + "sledgehammer_params"
2.16 "smt_status"
2.17 "sorry"
2.18 "specification"
2.19 @@ -530,6 +530,7 @@
2.20 "repdef"
2.21 "setup"
2.22 "simproc_setup"
2.23 + "sledgehammer_params"
2.24 "statespace"
2.25 "syntax"
2.26 "text"
2.27 @@ -549,7 +550,6 @@
2.28 (defconst isar-keywords-theory-goal
2.29 '("ax_specification"
2.30 "boogie_vc"
2.31 - "code_abstype"
2.32 "code_pred"
2.33 "corollary"
2.34 "cpodef"