CTAN Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Jan­uary 1, 2018 7:36:46 PM CET
Peter M. Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 2.3 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 a pf­cases en­v­iorn­ment that lets one (ei­ther num­bered or named by the case prop­er­ties) vi­su­ally di­vide up a proof seg­ment into a case based ar­gu­ment. Both the num­bered and non-num­bered ver­sion are com­pat­i­ble with both hy­per­ref and clev­eref. Also mi­nor bug fixes (e.g. prob­lems with negated re­la­tions un­der xe­la­tex).
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