Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - README 2008-10-27 13:53 275 shuffle.ins 2008-10-27 13:10 576 shuffle.mf 2008-10-27 13:14 1.4K shuffle7.mf 2008-10-27 13:14 4.7K shuffle10.mf 2008-10-27 13:14 4.7K shuffle.dtx 2008-10-27 13:08 6.4K shuffle.pdf 2008-10-27 13:12 289K