Files in directory TC-12

  Name                 Size          Modified

f1.in                   895        22 Mar 1996
f1.proof               1117        22 Mar 1996
f1.proof-object       12735        22 Mar 1996
paragraph.dvi          2952        22 Mar 1996