Files in directory TC-6

  Name                 Size          Modified

f1.in                   857        22 Mar 1996
f1.proof                692        22 Mar 1996
f1.proof-object       10575        22 Mar 1996
paragraph.dvi          1756        22 Mar 1996