Files in directory TC-10

  Name                 Size          Modified

f1.in                   859        22 Mar 1996
f1.proof                861        22 Mar 1996
f1.proof-object        6523        22 Mar 1996
paragraph.dvi          2268        22 Mar 1996