CTAN
Comprehensive TeX Archive Network

CTAN has a new pack­age: rec-thy

Date: Oc­to­ber 16, 2010 8:42:01 AM CEST
This should be at your lo­cal mir­ror. Thanks again, 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.0 Author's name: Peter M. Gerdes Sum­mary de­scrip­tion: Com­mands to type­set re­cur­sion the­ory (aka com­putabil­ity the­ory) pa­pers Li­cense type: lppl An­nounce­ment text:
Ini­tial re­lease of the rec-thy pack­age
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