2008-12-04 wenzelm renamed type Lazy.T to lazy;
2008-12-04 wenzelm excursion: pass explicit proof states as result of future proof, replaced low-level Thm.join_futures by PureThy.force_proofs;
2008-12-04 wenzelm future proofs: pass actual futures to facilitate composite computations;
2008-12-04 wenzelm renamed type Future.T to future;
2008-12-04 wenzelm renamed type Lazy.T to lazy;
2008-12-04 huffman merged.
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip