Name Size Modified f1.in 927 22 Mar 1996 f1.proof 4667 22 Mar 1996 f1.proof-object 31517 22 Mar 1996 paragraph.dvi 8404 22 Mar 1996