Name Last modified Size Parent Directory - newalg.dtx 1995-01-11 09:00 14K newalg.ins 1995-01-08 09:00 118 newalg.pdf 2005-05-24 02:34 227K