| Thu, 04 Dec 2008 23:01:11 +0100 | wenzelm | renamed type Lazy.T to lazy; | changeset | files |
| Thu, 04 Dec 2008 23:01:03 +0100 | wenzelm | excursion: pass explicit proof states as result of future proof, replaced low-level Thm.join_futures by PureThy.force_proofs; | changeset | files |
| 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 |