CTAN has a new package: rec-thy

[CTAN Announcements]

This should be at your local mirror.

Thanks again,
Jim Hef{}feron
Saint Michael's College
 
.........................................................................................

The following information was provided by our fellow contributor:

Name of contribution: rec-thy
Version number: 1.0
Author's name: Peter M. Gerdes
Summary description: Commands to typeset recursion theory (aka computability theory) papers
License type: lppl

Announcement text: 
----------------------------------------------------------------------
Initial release of the rec-thy package 
----------------------------------------------------------------------

This package is at 
   http://tug.ctan.org/tex-archive/macros/latex/contrib/rec-thy
.  Information is at
   http://tug.ctan.org/pkg/rec-thy
(it may take a day for the information to appear).  We are supported 
by the TeX Users Group http://www.tug.org .  For your users group 
see http://www.tug.org/usergroups.html .