../ uiucredborder.dtx 27-Aug-2001 06:08 11K uiucredborder.ins 27-Aug-2001 06:08 1788 uiucredborder.pdf 27-Aug-2001 06:08 352K