Files in directory ABGT-4

  Name                 Size          Modified

f1.in                  1045        22 Mar 1996
f1.proof                677        22 Mar 1996
paragraph.dvi          1540        22 Mar 1996