565 defP, fixP, letP, thenP, thenceP, fromP, withP, noteP, beginP, endP, |
569 defP, fixP, letP, thenP, thenceP, fromP, withP, noteP, beginP, endP, |
566 nextP, qedP, terminal_proofP, immediate_proofP, default_proofP, |
570 nextP, qedP, terminal_proofP, immediate_proofP, default_proofP, |
567 skip_proofP, applyP, then_applyP, proofP, alsoP, finallyP, backP, |
571 skip_proofP, applyP, then_applyP, proofP, alsoP, finallyP, backP, |
568 cannot_undoP, clear_undoP, redoP, undos_proofP, kill_proofP, undoP, |
572 cannot_undoP, clear_undoP, redoP, undos_proofP, kill_proofP, undoP, |
569 (*diagnostic commands*) |
573 (*diagnostic commands*) |
570 print_commandsP, print_theoryP, print_syntaxP, print_attributesP, |
574 pretty_setmarginP, print_commandsP, print_theoryP, print_syntaxP, |
571 print_methodsP, print_theoremsP, print_bindsP, print_lthmsP, |
575 print_attributesP, print_methodsP, print_theoremsP, print_bindsP, |
572 print_thmsP, print_propP, print_termP, print_typeP, |
576 print_lthmsP, print_thmsP, print_propP, print_termP, print_typeP, |
573 (*system commands*) |
577 (*system commands*) |
574 cdP, pwdP, use_thyP, use_thy_onlyP, update_thyP, update_thy_onlyP, |
578 cdP, pwdP, use_thyP, use_thy_onlyP, update_thyP, update_thy_onlyP, |
575 touch_thyP, touch_all_thysP, remove_thyP, prP, commitP, quitP, |
579 touch_thyP, touch_all_thysP, remove_thyP, prP, commitP, quitP, |
576 exitP, init_toplevelP]; |
580 exitP, init_toplevelP]; |
577 |
581 |