| Thu, 04 Dec 2008 23:00:58 +0100 | wenzelm | future proofs: pass actual futures to facilitate composite computations; | changeset | files |
| Thu, 04 Dec 2008 23:00:27 +0100 | wenzelm | renamed type Future.T to future; | changeset | files |
| Thu, 04 Dec 2008 23:00:21 +0100 | wenzelm | renamed type Lazy.T to lazy; | changeset | files |
| Thu, 04 Dec 2008 09:12:41 -0800 | huffman | merged. | changeset | files |
| Thu, 04 Dec 2008 08:47:45 -0800 | huffman | change more lemmas to avoid using iszero | changeset | files |
| Wed, 03 Dec 2008 22:16:20 -0800 | huffman | change some lemmas to avoid using iszero | changeset | files |
| Wed, 03 Dec 2008 21:50:36 -0800 | huffman | enable eq_bin_simps for simplifying equalities on numerals | changeset | files |