summaryrefslogtreecommitdiff
path: root/transfer/doc/mathpartir.sty
AgeCommit message (Collapse)Author
2006-03-03Transfer: added beginnings of a type checking algorithm description.bringert