     "instance"
     "interpretation"
     "lemma"
+    "nominal_inductive"
     "nominal_primrec"
     "recdef_tc"
     "specification"

    "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"
