Name Size Modified f1.in 896 22 Mar 1996 f1.proof 1525 22 Mar 1996 f1.proof-object 8341 22 Mar 1996 paragraph.dvi 3848 22 Mar 1996