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 {} \;

#main object logics

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/HOLCF

src/LCF

src/Sequents

#misc components

src/Tools/Code

src/Tools/WWW_Find

src/HOL/Tools/ATP_Manager

src/HOL/Mirabelle

src/HOL/Library/Sum_Of_Squares

src/HOL/Tools/SMT

#bundled components

contrib/e-1.0-004

contrib/jedit-4.3.2

contrib/kodkodi-1.2.13

contrib/scala-2.8.0.RC5

contrib/spass-3.7