Files in directory STN-2

  Name                 Size          Modified

f1.in                   883        22 Mar 1996
f1.proof                900        22 Mar 1996
paragraph.dvi          2276        22 Mar 1996