../ README 16-Jan-1998 08:00 803 thumb.dtx 05-Feb-1998 08:00 42649 thumb.ins 05-Feb-1998 08:00 2298 thumb.pdf 21-Jun-2005 18:02 207243