start of (re-?)organizing dependencies between isac's files

Current Error:
*** Theory loader: unresolved dependencies of theory "Typefix" on file(s):
"../Scripts/scrtools.sml", "../ME/mstools.sml", "../ME/ctree.sml", ....
*** At command "end" (line 43 of "/usr/local/isabisac/src/Tools/isac/IsacKnowledge/Typefix.thy")

updated Typefis.thy, removed Float*, Complex* (already in Isabelle2009-2)

only thy-dependency to be updated in Atools.thy

update math-engine complete

update xmlsrc/* finished

updated xmlsrc/* except interface-xml.sml

thms_of --> PureThy.all_thms_of
name_of_thm --> Thm.get_name_hint

finished update of all mathengine ME/*

repaired Thm.cterm_of, string_of_cterm

WRONG
find . -type f -exec sed -i s/"cterm_of (sign_of thy)"/"(Thm.cterm thy)"/g {} \;
CORRECTION
find . -type f -exec sed -i s/"(Thm.cterm thy)"/"(cterm_of thy)"/g {} \;
find . -type f -exec sed -i s/"Thm.cterm_of"/"cterm_of"/g {} \;
find . -type f -exec sed -i s/"string_of_cterm o (cterm_of thy)"/"Syntax.string_of_term (thy2ctxt thy)"/g {} \;

updated ME/script.sml

found wrong replacement --> (Thm.cterm thy) in subsequent thys

updated ME/appl.sml,rewtools.sml; thms_of --> PureThy.all_thms_of

pushed updates over all sml+test:

DONE
# ProtoPure.thy --> (theory "Pure")
# cterm_of (sign_of thy) --> (Thm.cterm thy)
# member op = --> DONE, but TODO swap args
# string_of_cterm (cterm_of (sign_of " --> "(Syntax.string_of_term (thy2ctxt "
TODO
# Pattern.match: only left ME/rewtools.sml, cp Scripts/term_G.sml
# there seem to be Problems with assoc_thy !?!
# a\\b --> subtract op = b a: left to indiv.files due to "grep '\\'" ?!?