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