Name Size Modified f1.in 925 22 Mar 1996 f1.proof 833 22 Mar 1996 f1.proof-object 10105 22 Mar 1996 paragraph.dvi 2040 22 Mar 1996