rwxr-xr-x 4273/0 0 Jul 8 17:32 1994 doc/ rw-r--r-- 4273/0 109629 Jul 8 17:14 1994 doc/coind.ps.gz rw-r--r-- 4273/0 117699 Jul 8 17:22 1994 doc/set-I.ps.gz rw-r--r-- 4273/0 24518 Jul 8 17:13 1994 doc/cant-ozols.ps.gz rw-r--r-- 4273/0 4081 Jul 8 17:10 1994 doc/ERRATA1.txt rw-r--r-- 4273/0 1883 Jul 8 17:10 1994 doc/ERRATA2.txt rw-r--r-- 4273/0 2711 Jul 8 17:10 1994 doc/ERRATA3.txt rw-r--r-- 4273/0 17073 Jul 8 17:11 1994 doc/answers1-5.txt.gz rw-r--r-- 4273/0 29658 Jul 8 17:16 1994 doc/ind-defs.dvi.gz rw-r--r-- 4273/0 81224 Jul 8 17:20 1994 doc/lib.dvi.gz rw-r--r-- 4273/0 22938 Jul 8 17:20 1994 doc/working.tar.gz rw-r--r-- 4273/0 2746 Jul 8 17:09 1994 doc/00Index