     "print_claset"
     "print_commands"
     "print_context"
+    "print_drafts"
     "print_facts"
     "print_induct_rules"
     "print_intros"

    "cd"
    "commit"
    "disable_pr"
    "enable_pr"
    "full_prf"
    "header"

    "defer"
    "defs"
    "disable_pr"
    "display_drafts"
    "done"
    "enable_pr"
    "end"
