Peter M. Gerdes submitted an update to the
rec-thy
package.
Version number: 2.3 License type: pd
Summary description: Commands to typeset recursion theory papers
Announcement text: ---------------------------------------------------------------------- Added a pfcases enviornment that lets one (either numbered or named by the case properties) visually divide up a proof segment into a case based argument. Both the numbered and non-numbered version are compatible with both hyperref and cleveref.
Also minor bug fixes (e.g. problems with negated relations under xelatex).
----------------------------------------------------------------------
This package is located at http://mirror.ctan.org/macros/latex/contrib/rec-thy
More information is at http://www.ctan.org/pkg/rec-thy
We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html .
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Ina Dau