Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 12:25:58 +0200] rev 37987
tuned
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 12:10:43 +0200] rev 37986
tuned
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 10:15:51 +0200] rev 37985
updated Knowledge/RootEq.thy
Walther Neuper <neuper@ist.tugraz.at> [Mon, 06 Sep 2010 17:07:28 +0200] rev 37984
changed argument types for scripts
find . -type f -exec sed -i s/'real_list_'/'REAL_LIST'/g {} \;
find . -type f -exec sed -i s/'real_set_'/'REAL_SET'/g {} \;
find . -type f -exec sed -i s/'real_ '/'REAL '/g {} \;
find . -type f -exec sed -i s/'real_real_'/'REAL_REAL'/g {} \;
find . -type f -exec sed -i s/'bool_list_'/'BOOL_LIST'/g {} \;
find . -type f -exec sed -i s/'bool_'/'BOOL'/g {} \;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 06 Sep 2010 16:56:22 +0200] rev 37983
corrected format for axioms in remaining theories
Walther Neuper <neuper@ist.tugraz.at> [Mon, 06 Sep 2010 15:53:18 +0200] rev 37982
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 {} \;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 06 Sep 2010 15:09:37 +0200] rev 37981
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 {} \;
Walther Neuper <neuper@ist.tugraz.at> [Mon, 06 Sep 2010 14:48:38 +0200] rev 37980
updated Knowledge/PolyMinus, plus some changes ahead
Walther Neuper <neuper@ist.tugraz.at> [Fri, 03 Sep 2010 17:19:20 +0200] rev 37979
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
Walther Neuper <neuper@ist.tugraz.at> [Fri, 03 Sep 2010 14:28:38 +0200] rev 37978
intermediate state Knowledge/Rational.ML, optimizing reading error msg