----- update of isac SYNTAX Isabelle2002 --> Isabelle2009-2 finished.

Semantic check is to be done. Known problems (see #974b):
# hierarchy of theory elements for IsacKnowledge seems empty
(no ouput befor *** insert: not found ... IS OK)
# copynamed ___ --> ''' in Interpreter
# Subproblem (Thy', ... instead of Thy_ in Interpreter
# theory' handled inconsistently: "Thy" | "Thy.thy"
# thm' handled inconsistently: "refl" | "Test.refl" | "Test.class.refl"

intermediate in Knowledge/Isac.thy

adapted all code to Theory.axioms_of, which returns terms instead of thms
Isac.thy not finished

updated Knowledge/Test.thy

updated Knowledge/AlgEin.thy

updated Knowledge/Biegelinie.thy

updated Knowledge/EqSystem.thy

intermediate state in Knowledge/EqSystem.thy

updated Knowledge/Integrate.thy

updated Knowledge/DiffApp.thy

tuned

src/Knowledge + test/Knowledge:
find . -type f -exec sed -i s/"f_\""/"f_f\""/g {} \;
find . -type f -exec sed -i s/"f_,"/"f_f,"/g {} \;
find . -type f -exec sed -i s/"f_:"/"f_f:"/g {} \;
find . -type f -exec sed -i s/"f_'_"/"f_f'"/g {} \;
find . -type f -exec sed -i s/"eqs_"/"eqs"/g {} \;
find . -type f -exec sed -i s/"f'_ "/"f_f' "/g {} \;
find . -type f -exec sed -i s/"f'_)"/"f_f')"/g {} \;