Files in directory UAL-6

  Name                 Size          Modified

f1.in                  1718        22 Mar 1996
f1.proof               1748        22 Mar 1996
paragraph.dvi          4692        22 Mar 1996