Name Size Modified f1.in 795 22 Mar 1996 f1.proof 947 22 Mar 1996 f1.proof-object 3197 22 Mar 1996 paragraph.dvi 2676 22 Mar 1996