CTAN update: rec-thy

CTAN Announcements ctan-ann at ctan.org
Mon Jan 1 20:36:46 CET 2018

Peter M. Gerdes submitted an update to the



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


This package is located at 

More information is at

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

More information about the Ctan-ann mailing list