Name Size Modified e1.in 833 22 Mar 1996 e1.proof 1195 22 Mar 1996 e2.in 945 22 Mar 1996 e2.proof 1595 22 Mar 1996 e2.proof-object 8011 22 Mar 1996 paragraph.dvi 4740 22 Mar 1996