     "term"
     "term_cartouche"
     "termination"
+    "test_code"
     "text"
     "text_cartouche"
     "text_raw"

    "context"
    "datatype"
    "datatype_compat"
    "datatype_new"
    "declaration"
    "declare"
    "default_sort"

    "refute"
    "refute_params"
    "remove_thy"
    "schematic_corollary"
    "schematic_lemma"
    "schematic_theorem"
