GitHub - uwplse/retypeset-classics: retyping old papers in modern notation

Name	Name	Last commit message	Last commit date
Latest commit wilcoxjay add the pdf Jan 26, 2025 6d45f62 · Jan 26, 2025 History 9 Commits
.gitignore	.gitignore	add the pdf	Jan 26, 2025
mathpartir.sty	mathpartir.sty	add standard inference rules package	May 20, 2014
reynolds-abstraction.pdf	reynolds-abstraction.pdf	add the pdf	Jan 26, 2025
reynolds-abstraction.tex	reynolds-abstraction.tex	fix a few typos post hoc	May 22, 2014