../ README 27-Oct-2008 19:53 275 shuffle.dtx 27-Oct-2008 19:08 6594 shuffle.ins 27-Oct-2008 19:10 576 shuffle.mf 27-Oct-2008 19:14 1415 shuffle.pdf 27-Oct-2008 19:12 289K shuffle10.mf 27-Oct-2008 19:14 4798 shuffle7.mf 27-Oct-2008 19:14 4787