Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 17:20:03 +0200] rev 37994
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 {} \;
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 17:17:29 +0200] rev 37993
updated Knowledge/Diff.thy
Walther Neuper <neuper@ist.tugraz.at> [Wed, 08 Sep 2010 16:54:15 +0200] rev 37992
updated Vect..LogExp.thy
in src/Knowledge + test/Knowledge:
find . -type f -exec sed -i s/"e_]"/"e_e]"/g {} \;
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