CTAN
Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Jan­uary 2, 2011 8:12:01 PM CET
This should be at your lo­cal mir­ror. Jim Hef{}feron Saint Michael's Col­lege ............................................................................ The fol­low­ing in­for­ma­tion was pro­vided by our fel­low con­trib­u­tor: Name of con­tri­bu­tion: rec-thy Ver­sion num­ber: 1.2 Author's name: Peter Gerdes Sum­mary de­scrip­tion: Com­mands to type­set re­cur­sion the­ory pa­pers. Li­cense type: lppl An­nounce­ment text:
Up­date to ver­sion 1.2 Fixed aw­ful bug stop­ping op­tions from work­ing. Added mr­ref op­tion.
This pack­age is at http://tug.ctan.org/tex-archive/macros/la­tex/con­trib/rec-thy . In­for­ma­tion is at http://tug.ctan.org/pkg/rec-thy (it may take a day for the in­for­ma­tion to ap­pear). We are sup­ported by the TeX Users Group http://www.tug.org . For your users group see http://www.tug.org/user­groups.html .

rec-thy – Com­mands to type­set re­cur­sion the­ory pa­pers

The pack­age pro­vides many macros to ex­press stan­dard no­ta­tion in re­cur­sion the­ory (oth­er­wise known as com­putabil­ity the­ory).

Pack­agerec-thy
Ver­sion2.1
Copy­right2010 Peter M. Gerdes
Main­tainerPeter M. Gerdes

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author