CTAN Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Oc­to­ber 6, 2017 10:22:00 PM CEST
Peter Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 2.1 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:
Fixed way pack­age's are re­quired so rec-thy can be loaded in a flex­i­ble or­der. Also fixed one or two bugs. Hope­fully this pack­age is once again suf­fi­ciently flex­i­ble to be used by peo­ple other than the main­tainer.
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/la­tex/con­trib/rec-thy More in­for­ma­tion is at http://www.ctan.org/pkg/rec-thy We are sup­ported by the TeX User Groups. Please join a users group; see http://www.tug.org/user­groups.html .
Thanks for the up­load. For the CTAN Team Ina Dau

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).

Copy­right2010–2019 Peter M. Gerdes
Main­tainerPeter M. Gerdes



Guest Book Sitemap Contact Contact Author