Name Size Modified f1.in 1037 22 Mar 1996 f1.proof 8153 22 Mar 1996 f1.proof-object 60797 22 Mar 1996 paragraph.dvi 14532 22 Mar 1996