summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files | gz |
help

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

New version of rail.sty for LaTeX 2e

Updated to LaTeX 2e

Version of the proof macros for LaTeX 2e

This file is now replaced by proof.sty

Higher bound means much faster proof

More tracing. hyp_subst_tac allowed to fail

New blast_tac call: made possible by bug fix involving equality substitution

No longer proves mutual_induct unless it is necessary.
Previous version proved it, then threw it away...

Documented blast_tac

Automatic update