Files in directory TC-4

  Name                 Size          Modified

f1.in                   925        22 Mar 1996
f1.proof                833        22 Mar 1996
f1.proof-object       10105        22 Mar 1996
paragraph.dvi          2040        22 Mar 1996