Files in directory UAL-1

  Name                 Size          Modified

f1.in                  1242        22 Mar 1996
f1.proof               2578        22 Mar 1996
paragraph.dvi          5084        22 Mar 1996