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/