Files in directory UAL-4

  Name                 Size          Modified

f1.in                  1324        22 Mar 1996
f1.proof               1114        22 Mar 1996
paragraph.dvi          2684        22 Mar 1996