| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | use heuristic to determine whether to keep or drop an existing "let" -- and drop all higher-order lets | changeset | files |
| Tue, 07 Dec 2010 11:50:16 +0100 | bulwahn | merged | changeset | files |
| Tue, 07 Dec 2010 10:03:43 +0100 | bulwahn | testing smartly in two dimensions (cardinality and size) in quickcheck | changeset | files |
| Tue, 07 Dec 2010 09:58:56 +0100 | blanchet | load "try" after "Metis" and move "Async_Manager" back to Sledgehammer | changeset | files |