| Thu, 06 Mar 2014 13:36:15 +0100 | blanchet | renamed 'map_sum' to 'sum_map' | changeset | files |
| Thu, 06 Mar 2014 12:17:26 +0100 | traytel | more careful simplification of sets (cf. abf91ebd0820)---yields smaller terms | changeset | files |
| Wed, 05 Mar 2014 17:23:28 -0800 | huffman | remove lemmas in favor of more general ones: convex(_hull)_set_{plus,setsum} | changeset | files |
| Wed, 05 Mar 2014 16:57:00 -0800 | huffman | generalize lemma closure_sum | changeset | files |
| Wed, 05 Mar 2014 13:59:25 -0800 | huffman | generalize lemmas | changeset | files |
| Wed, 05 Mar 2014 21:51:30 +0100 | wenzelm | more symbols; | changeset | files |
| Wed, 05 Mar 2014 20:07:43 +0100 | wenzelm | tuned proofs; | changeset | files |