[Proof Complexity] revised preprint

[Jan Krajicek]

  Dear colleagues,

  a second revision of my preprint "A reduction
of proof complexity to computational complexity
for AC^0[p] Frege systems" I wrote about
a few weeks ago is available via my web page
or via the ArXiv (there from tomorrow).
It clarifies a step in the proof of 5.1 and
changes the statements of 5.1 and 6.1 accordingly.

                  Regards,

                               Jan