tatsuta's proof macros
Date: October 11, 2006 4:57:57 PM CEST
these macros have been moved from ctan directory macros/latex/contrib/proof to directory macros/latex/contrib/lkproof there are several reasons why this is desirable; from ctan's point of view, it reduces the number of confusing name clashes. i have taken the opportunity of updating the package, from the author's web site in japan, to the current version 3.1. Robin Fairbairns For the CTAN team
LKproof – LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
|Copyright||1990–2005 Makoto Tatsuta|