../ oldstyle.dtx 17-May-1999 09:16 4729 oldstyle.ins 17-May-1999 08:21 659 oldstyle.pdf 08-Mar-2009 20:31 70K