Files in directory UAL-5

  Name                 Size          Modified

f1.in                  1935        22 Mar 1996
f1.proof               1034        22 Mar 1996
paragraph.dvi          3544        22 Mar 1996