| Mon, 14 Nov 2011 11:14:06 +0100 | bulwahn | setting up exhaustive generators which are used for the smart generators | changeset | files |
| Mon, 14 Nov 2011 11:50:52 +0100 | hoelzl | add Code_Real_Approx_By_Float | changeset | files |
| Mon, 14 Nov 2011 09:25:05 +0100 | huffman | merged | changeset | files |
| Sun, 13 Nov 2011 19:30:35 +0100 | huffman | remove lemma float_remove_real_numeral, which duplicated Float.float_number_of | changeset | files |
| Sun, 13 Nov 2011 19:26:53 +0100 | huffman | remove unnecessary number-representation-specific rules from metis calls; | changeset | files |
| Sun, 13 Nov 2011 20:28:22 +0100 | blanchet | avoid confusing selector output | changeset | files |
| Sun, 13 Nov 2011 20:28:22 +0100 | blanchet | remove unsound line in Nitpick's "rat" setup | changeset | files |