2008-12-04 | wenzelm | renamed type Lazy.T to lazy; | changeset | files |
2008-12-04 | wenzelm | excursion: pass explicit proof states as result of future proof, replaced low-level Thm.join_futures by PureThy.force_proofs; | changeset | files |
2008-12-04 | wenzelm | future proofs: pass actual futures to facilitate composite computations; | changeset | files |
2008-12-04 | wenzelm | renamed type Future.T to future; | changeset | files |
2008-12-04 | wenzelm | renamed type Lazy.T to lazy; | changeset | files |
2008-12-04 | huffman | merged. | changeset | files |
Loading... |