#12 (Feb 14, 2016, 8:11:09 PM)

1. more explicit dummy proofs; (detail / hgweb)
2. more explicit dummy proofs; (detail / hgweb)
3. unused; (detail / hgweb)
4. command '\<proof>' is an alias for 'sorry', with different typesetting; (detail / hgweb)
5. more antiquotations; (detail / hgweb)
6. more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude; (detail / hgweb)

Started by an SCM change