updated Knowledge/Equation.thy, plus changes ahead.

find . -type f -exec sed -i s/' e_\"'/' e_e\"'/g {} \;
find . -type f -exec sed -i s/' e_ '/' e_e '/g {} \;
find . -type f -exec sed -i s/' e_)'/' e_e)'/g {} \;
find . -type f -exec sed -i s/' e_,'/' e_e,'/g {} \;
find . -type f -exec sed -i s/' e_:'/' e_e:'/g {} \;
find . -type f -exec sed -i s/'(e_:'/'(e_e:'/g {} \;

find . -type f -exec sed -i s/' v_\"'/' v_v\"'/g {} \;
find . -type f -exec sed -i s/' v_ '/' v_v '/g {} \;
find . -type f -exec sed -i s/' v_)'/' v_v)'/g {} \;
find . -type f -exec sed -i s/' v_,'/' v_v,'/g {} \;
find . -type f -exec sed -i s/' v_:'/' v_v:'/g {} \;

find . -type f -exec sed -i s/' v_i\"'/' v_i\"'/g {} \;

 syntax: glob

 *~

 *.class

 *.jar

 .DS_Store

 *.orig

 syntax: regexp

 ^contrib

 ^heaps/

 ^browser_info/

 ^doc-src/.*\.aux

 ^doc-src/.*\.bbl

 ^doc-src/.*\.blg

 ^doc-src/.*\.dvi

 ^doc-src/.*\.lot

 ^doc-src/.*\.idx

 ^doc-src/.*\.ind

 ^doc-src/.*\.lof

 ^doc-src/.*\.log

 ^doc-src/.*\.lot

 ^doc-src/.*\.out

 ^doc-src/.*\.pdf

 ^doc-src/.*\.rai

 ^doc-src/.*\.rao

 ^doc-src/.*\.tex.backup

 ^doc-src/.*\.toc

 ^doc/.*

 ^doc-src/isac/bib*

 ^src/Tools/jEdit/nbproject/private/

 ^src/Tools/jEdit/build/

 ^src/Tools/jEdit/dist/

 ^src/Tools/jEdit/contrib/