Name Size Modified f1.in 848 22 Mar 1996 f1.proof 522 22 Mar 1996 f1.proof-object 3873 22 Mar 1996 paragraph.dvi 1536 22 Mar 1996