CTAN update: rec-thy
Added a pfcases enviornment that lets one (either numbered or named by the case properties) visually divide up a proof segment into a case based argument. Both the numbered and non-numbered version are compatible with both hyperref and cleveref. Also minor bug fixes (e.g. problems with negated relations under xelatex).
This package is located at http://mirror.ctan.org/macros/latex/contrib/rec-thy More information is at http://www.ctan.org/pkg/rec-thy We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Ina Dau
rec-thy – Commands to typeset recursion theory papers
This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
|Copyright||2010–2021 Peter M. Gerdes|
|Maintainer||Peter M. Gerdes|
- 2021-04-01 CTAN Update: rec-thy
- 2021-03-02 CTAN update: rec-thy
- 2020-06-06 CTAN update: rec-thy
- 2020-06-03 CTAN Update: rec-thy
- 2020-05-23 CTAN Update: rec-thy
- 2019-02-18 CTAN update: rec-thy
- 2018-12-01 CTAN update: rec-thy
- 2018-01-01 CTAN update: rec-thy