bringert a961739bbf Transfer type system: some random changes

2006-03-06 16:55:22 +00:00

..

Makefile

Transfer: added beginnings of a type checking algorithm description.

2006-03-03 10:37:59 +00:00

mathpartir.sty

Transfer: added beginnings of a type checking algorithm description.

2006-03-03 10:37:59 +00:00

typesystem.tex

Transfer type system: some random changes

2006-03-06 16:55:22 +00:00