Name Size Modified f1.in 2806 22 Mar 1996 f1.proof 2848 22 Mar 1996 f1.proof-object 17304 22 Mar 1996 paragraph.dvi 5924 22 Mar 1996