Files in directory STN-3

  Name                 Size          Modified

f1.in                   898        22 Mar 1996
f1.proof                889        22 Mar 1996
paragraph.dvi          2224        22 Mar 1996