| 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 |