etc/isar-keywords.el

     "class"
     "class_deps"
     "classes"
     "classrel"
     "code_abort"
-    "code_abstype"
     "code_class"
     "code_const"
     "code_datatype"
     "code_deps"
     "code_include"

     "section"
     "setup"
     "show"
     "simproc_setup"
     "sledgehammer"
+    "sledgehammer_params"
     "smt_status"
     "sorry"
     "specification"
     "statespace"
     "subclass"

     "record"
     "refute_params"
     "repdef"
     "setup"
     "simproc_setup"
+    "sledgehammer_params"
     "statespace"
     "syntax"
     "text"
     "text_raw"
     "theorems"

   '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal
   '("ax_specification"
     "boogie_vc"
-    "code_abstype"
     "code_pred"
     "corollary"
     "cpodef"
     "function"
     "instance"