tatsuta's proof macros

Robin Fairbairns Robin.Fairbairns at cl.cam.ac.uk
Wed Oct 11 17:57:57 CEST 2006

these macros have been moved from ctan directory


to 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.

Robin Fairbairns

For the CTAN team

More information about the Ctan-ann mailing list