tatsuta's proof macros
Robin.Fairbairns at cl.cam.ac.uk
Wed Oct 11 17:57:57 CEST 2006
these macros have been moved from ctan directory
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.
For the CTAN team
More information about the Ctan-ann