Files in directory LT-1

  Name                 Size          Modified

f1.in                   812        22 Mar 1996
f1.proof                670        22 Mar 1996
paragraph.dvi          1472        22 Mar 1996