name rec-thy
category Package
revision 27225
shortdesc Commands to typeset recursion theory papers.
relocated 1
longdesc The package provides many macros to express standard notation
longdesc in recursion theory (otherwise known as computability theory).
runfiles size=10
 RELOC/tex/latex/rec-thy/rec-thy.sty
catalogue-ctan /macros/latex/contrib/rec-thy
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license pd
catalogue-version 1.3