# Directory `tex-archive/macros/latex/contrib/rec-thy`

This directory contains the rec-thy package. This package provides a large number of macros to express standard pieces of notation in recursion theory aka computability theory. The file rec-thy.pdf (which can be generated from rec-thy.tex) provides a guide to usage and examples of almost all the macros and package options as well as release notes. Comments, feedback and patches welcomes. Since my goal is to provide something of use to the community (and myself) and having seen some of the problems that can result from even well intentioned licenses later down the road, e.g., difficulties updating TeX, and since I still hold sole copyright I'm releasing this into the public domain (this applies retroactively to prior releases). I would *ask* anyone who reuses it not to be a dick about it (give credit, commit upgrades back, rename if forking etc..). Note, I will assume that any contributions to this package are implicitly released into the public domain as well unless told otherwise. Author: Peter Gerdes email: gerdes@invariant.org Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package 10/15/2010 - v1.0 - Original Release 01/01/2011 - v1.2 06/20/2012 - v1.3

## Files

Name | Size | Date | Notes |
---|---|---|---|

README | 1207 | 2012-06-20 09:56:56 | |

rec-thy.pdf | 237496 | 2012-06-20 09:57:58 | |

rec-thy.sty | 37925 | 2012-06-16 01:17:35 | |

rec-thy.tex | 33454 | 2012-06-20 09:57:45 |

Download the complete contents of this directory in one zip archive (224.0k).

## rec-thy – Commands to typeset recursion theory papers

The package provides many macros to express standard notation in recursion theory (otherwise known as computability theory).

Documentation | |

Version | 1.3 |

License | Public Domain Software |

Copyright | 2010 Peter M. Gerdes |

Maintainer | Peter M. Gerdes |

Contained in | TeXLive as rec-thy |

MiKTeX as rec-thy | |

Topics |
support for typesetting mathematics |