log doc/manual.tex

age author description
Sat, 06 Dec 2008 12:01:12 -0500 Adam Chlipala Type inference