completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list

(binary:image/png)