     "quit"
     "redo"
     "remove_thy"
+    "rep_datatype"
     "sect"
     "section"
     "setup"

    "primrec"
    "print_ast_translation"
    "print_translation"
    "setup"
    "syntax"
    "text"

  '("and"
    "assumes"
    "binder"
    "case_eqns"
    "con_defs"
    "concl"
    "defines"
    "domains"
    "elimination"
    "files"
    "fixes"
    "in"
    "induction"
    "infix"
    "infixl"
    "infixr"
