     "sect"
     "section"
     "setup"
+    "setup_dump"
+    "setup_theory"
     "show"
     "sorry"
     "specification"

    "code_library"
    "code_module"
    "coinductive"
    "constdefs"
    "consts"
    "consts_code"
    "datatype"
    "defaultsort"
    "defer_recdef"
    "defs"
    "domain"
    "extract"
    "extract_type"
    "finalconsts"
    "fixpat"
    "fixrec"
    "global"
    "hide"
    "inductive"
    "judgment"
    "lemmas"

    "code_module"
    "coinductive"
    "commit"
    "const_maps"
    "const_moves"
    "const_renames"
    "constdefs"
    "consts"
    "consts_code"
