completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list
syntax: glob
*~
.#*
ESOP-Paper/generated
ESOP-Paper/document.pdf
esop-paper.pdf
Fun-Paper/generated
Fun-Paper/document.pdf
fnpaper.pdf
Pearl-jv/generated
Pearl-jv/document.pdf
pearl-jv.pdf
Pearl/generated
Pearl/document.pdf
pearl.pdf