CTAN
Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Septem­ber 27, 2017 7:31:16 AM CEST
Peter Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 2.0 Li­cense type: pd Sum­mary de­scrip­tion: Com­mands to type­set re­cur­sion the­ory pa­pers An­nounce­ment text:
Added sup­port for in­tro­duc­ing re­quire­ments, the sub­func­tion re­la­tion and prob­a­bly other un­doc­u­mented fea­tures. Per­haps most im­por­tantly bet­ter com­pat­i­bil­ity. Now use­able with both xe­la­tex and pdfla­tex.
The pack­age's Cat­a­logue en­try can be viewed at http://www.ctan.org/pkg/rec-thy The pack­age's files them­selves can be in­spected at http://mir­ror.ctan.org/macros/la­tex/con­trib/rec-thy
Thanks for the up­load. For the CTAN Team Erik Braun
We are sup­ported by the TeX users groups. Please join a 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