Name Size Modified f1.in 888 22 Mar 1996 f1.proof 1524 22 Mar 1996 f1.proof-object 7403 22 Mar 1996 paragraph.dvi 3472 22 Mar 1996