Name Size Modified e1.in 783 22 Mar 1996 e1.proof 1517 22 Mar 1996 e1.proof-object 7283 22 Mar 1996 e2.in 586 22 Mar 1996 e2.proof 532 22 Mar 1996 e2.proof-object 1299 22 Mar 1996 paragraph.dvi 3480 22 Mar 1996