/README/1.1.1.1/Thu Mar 28 16:15:57 1996//
/ariadne.man/1.1.1.1/Thu Mar 28 16:15:57 1996//
/ariadne.ps/1.1.1.1/Thu Mar 28 16:15:57 1996//
D
