Philippe Faist submitted the
phfthm
package.
Version: 1.0 2016-08-15 License: lppl1.3
Summary description: Goodies for theorems and proofs
Announcement text: ----------------------------------------------------------------------
The phfthm package provides enhanced theorem and proof environments based on the amsthm original versions. It allows for hooks to be placed, adds some default goodies and is highly customizable. In particular, it can connect theorems to proofs, automatically producing text such as See proof on page XYZ and Proof of Theorem 4: ...
----------------------------------------------------------------------
The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/phfthm
The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/phfthm/
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Petra Rübe-Pugliese
------------------------------------------------------------------------
We are supported by the TeX users groups. Please join a users group; see http://www.tug.org/usergroups.html .