![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 01-Jan-2011 21:59 | 408 | |
| rec-thy.pdf | 01-Jan-2011 21:51 | 221K | |
| rec-thy.sty | 01-Jan-2011 21:50 | 33K | |
| rec-thy.tex | 01-Jan-2011 21:51 | 32K | |
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. Comments, feedback and patches welcomes. Author: Peter Gerdes email: gerdes@invariant.org 01/01/2011