     "done"
     "enable_pr"
     "end"
+    "equivariance"
     "exit"
     "extract"
     "extract_type"

    "ProofGeneral\\.call_atp"
    "cd"
    "class_deps"
    "code_gen"
    "code_thms"
    "commit"

    "code_class"
    "code_const"
    "code_datatype"
    "code_deps"
    "code_gen"
    "code_instance"
    "code_library"
