-rw-r--r-- 100133 1994-07-01 11:29:44 nicolet.a -rw-r--r-- 1499 1994-07-01 09:57:52 nicolet.ann -rw-r--r-- 115490 2011-08-10 17:14:58 nicolet.pdf -rw-r--r-- 134917 1994-07-01 11:31:55 nicolet.ps -rw-r--r-- 28788 1994-07-01 11:30:34 nicolet.tex -rw-r--r-- 28898 1994-07-02 11:19:50 nicoletdoc.txt