Name Size Modified e1.in 677 22 Mar 1996 e1.proof 1411 22 Mar 1996 e1.proof-object 9359 22 Mar 1996 e2.in 701 22 Mar 1996 e2.proof 1766 22 Mar 1996 e2.proof-object 10287 22 Mar 1996 paragraph.dvi 5788 22 Mar 1996