Name Size Modified e1.in 764 22 Mar 1996 e1.proof 1577 22 Mar 1996 e1.proof-object 8226 22 Mar 1996 e2.in 569 22 Mar 1996 e2.proof 453 22 Mar 1996 e2.proof-object 1076 22 Mar 1996 paragraph.dvi 3460 22 Mar 1996