edc.tex: deleted some not used definitions