% This material goes at the beginning of all LK files.% Shamelessly modified from Knuth's boilerplate.w%\def\topofcontents{  \leftline{\sc\today\ at \hours}\bigskip\bigskip  \centerline{\titlefont\title}}\font\ninett=cmtt9\def\botofcontents{\vskip 0pt plus 1filll    \ninerm\baselineskip10pt@i lgplnotice.tex\smallskip\noindentThis work was funded in part by the Natural Sciences and Engineering Research Council of Canada, and by the Department ofComputer Science at the University of Toronto.}