blob: 677cb51aad456e6e79e879cc577e6c6c5d995874 (
plain)
1
2
3
4
5
6
7
8
9
10
|
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
|