     "sublocale"
     "termination"
     "theorem"
-    "typedef"
-    "wrap_free_constructors"))
+    "typedef"))
 
 (defconst isar-keywords-qed
   '("\\."

    "done"
    "enable_pr"
    "end"
    "enriched_type"
    "equivariance"
    "exit"
    "export_code"

    "code_pred"
    "corollary"
    "cpodef"
    "free_constructors"
    "function"
    "functor"
    "instance"
    "interpretation"
    "lemma"
