Files in directory ABGT-1

  Name                 Size          Modified

f1.in                   855        22 Mar 1996
f1.proof               1501        22 Mar 1996
paragraph.dvi          3292        22 Mar 1996