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

use_thys ["Paper"];