Name Size Modified e1.in 779 22 Mar 1996 e1.proof 2891 22 Mar 1996 e1.proof-object 16485 22 Mar 1996 e2.in 582 22 Mar 1996 e2.proof 532 22 Mar 1996 e2.proof-object 1288 22 Mar 1996 paragraph.dvi 6164 22 Mar 1996