tuned src + test

find . -type f -exec sed -i s/nadd_divide_distrib/add_divide_distrib/g {} \;
find . -type f -exec sed -i s/"\.thy\""/"\""/g {} \;
find . -type f -exec sed -i s/" indexname_ord"/" Term_Ord.indexname_ord"/g {} \;
find . -type f -exec sed -i s/"(string_of_cterm o cterm_of(sign_of thy))"/"(Syntax.string_of_term (thy2ctxt thy))"/g {} \;
find . -type f -exec sed -i s/" L_"/" L_L"/g {} \;
find . -type f -exec sed -i s/" L_:"/" L_L:"/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 {} \;

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/