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