Name Size Modified e1.in 829 22 Mar 1996 e1.proof 1350 22 Mar 1996 e2.in 940 22 Mar 1996 e2.proof 2422 22 Mar 1996 e2.proof-object 12583 22 Mar 1996 paragraph.dvi 6212 22 Mar 1996