[Proof Complexity] a revised preprint

[Jan Krajicek]

  Dear colleagues,

  I put on my web page a revision of the preprint
"A reduction of proof complexity to computational
complexity for AC^0[p] Frege systems" I announced
earlier. It should be also available through the
ArXiv from tomorrow. Sorry for the inconvenience.

                     Regards,

                           Jan