File list: nicolet80

-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