Name Size Modified e1.in 764 22 Mar 1996 e1.proof 944 22 Mar 1996 e1.proof-object 4359 22 Mar 1996 e2.in 569 22 Mar 1996 e2.proof 459 22 Mar 1996 e2.proof-object 952 22 Mar 1996 paragraph.dvi 2300 22 Mar 1996