Name Size Modified e1.in 780 22 Mar 1996 e1.proof 2166 22 Mar 1996 e1.proof-object 11671 22 Mar 1996 e2.in 1020 22 Mar 1996 e2.proof 3463 22 Mar 1996 e2.proof-object 20639 22 Mar 1996 paragraph.dvi 11420 22 Mar 1996