updated Knowledge/Root.thy, plus changes ahead.

find . -type f -exec sed -i s/'left_diff_distrib2'/'right_diff_distrib'/g {} \;
find . -type f -exec sed -i s/' typ_ord'/' Term_Ord.typ_ord'/g {} \;
find . -type f -exec sed -i s/' term_ord'/' Term_Ord.term_ord'/g {} \;

updated Knowledge/Equation.thy, plus changes ahead.

find . -type f -exec sed -i s/' e_\"'/' e_e\"'/g {} \;
find . -type f -exec sed -i s/' e_ '/' e_e '/g {} \;
find . -type f -exec sed -i s/' e_)'/' e_e)'/g {} \;
find . -type f -exec sed -i s/' e_,'/' e_e,'/g {} \;
find . -type f -exec sed -i s/' e_:'/' e_e:'/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 {} \;
find . -type f -exec sed -i s/' v_)'/' v_v)'/g {} \;
find . -type f -exec sed -i s/' v_,'/' v_v,'/g {} \;
find . -type f -exec sed -i s/' v_:'/' v_v:'/g {} \;

find . -type f -exec sed -i s/' v_i\"'/' v_i\"'/g {} \;

updated Knowledge/PolyMinus, plus some changes ahead

updated Knowledge/Rational

renamed
find . -type f -exec sed -i s/discard_minus_/discard_minus1/g {} \;
find . -type f -exec sed -i s/discard_parentheses_/discard_parentheses1/g {} \;
TODO: reconsider naming of similar rls

intermediate state Knowledge/Rational.ML, optimizing reading error msg

impl. parse_patt into fun prep_pbt, prep_met

updated Poly.thy finally: introduced "fun parse_patt"

When introducing ctx's in the future, one can search for thy2ctxt !

updates over all Knowledge/*: Scripts 'Calculate ...'

cd /usr/local/isabisac/src/Tools/isac/Knowledge
find . -type f -exec sed -i s/"Calculate plus"/"Calculate PLUS"/g {} \;
find . -type f -exec sed -i s/"Calculate times"/"Calculate TIMES"/g {} \;
find . -type f -exec sed -i s/"Calculate power_"/"Calculate POWER"/g {} \;
find . -type f -exec sed -i s/"Calculate sqrt_"/"Calculate SQRT"/g {} \;
cd /usr/local/isabisac/test/Tools/isac/Knowledge

cleanup within Knowledge/Poly, start with Scripts

changed .java to .scala