updated Vect..LogExp.thy

in src/Knowledge + test/Knowledge:
find . -type f -exec sed -i s/"e_]"/"e_e]"/g {} \;

 s/\\([a-zA-Z]+)\s*/$1/g;

 s/\$//g;

 s/^BOOKMARK/\\BOOKMARK/g;