Changing the commands to switch to textual explanation of proofs.
Changing the commands to switch to textual explanation of proofs.

Removing the "Show Dad Rules." command that breaks down parsing.


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@1600 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq