Sorry, but there is any english documentation for QED!
If anyone want to translate the TeX doc or the hypertext, contact me!

At least there is an english resource for QED 3.40!

Christian Felsch
felsch@tu-harburg.d400.de
