bringert f568dbcf64 Transfer type checking algorithm: started on conversion.

2006-03-03 15:56:15 +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 checking algorithm: started on conversion.

2006-03-03 15:56:15 +00:00