Tue, 27 Apr 2010 14:41:27 +0200 | wenzelm | clarified proven results: store thm only and retrieve proof later via Thm.proof_of (this may also impact parallelism, because internal join_proofs is deferred); | changeset | files |
Tue, 27 Apr 2010 14:19:47 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
Tue, 27 Apr 2010 10:42:41 +0200 | haftmann | NEWS and CONTRIBUTORS | changeset | files |