Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 16:47:22 +0200] rev 37991
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 {} \;
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 16:45:27 +0200] rev 37990
tuned
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 16:28:24 +0200] rev 37989
updated Knowledge/PolyEq.thy
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 12:41:04 +0200] rev 37988
updated Knowledge/RatEq.thy
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 {} \;