You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| rec-thy | Commands to typeset recursion theory papers. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| README | 408 bytes | 2011-Jan-01 | Shown below |
| rec-thy.pdf | 221 KiB | 2011-Jan-01 | |
| rec-thy.sty | 33 KiB | 2011-Jan-01 | |
| rec-thy.tex | 32 KiB | 2011-Jan-01 |
*File sizes in kibibytes.
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