Name Size Modified f1.in 787 22 Mar 1996 f1.proof 962 22 Mar 1996 f1.proof-object 3658 22 Mar 1996 paragraph.dvi 2152 22 Mar 1996