Fri, 04 Feb 2011 14:16:55 +0100 | hoelzl | add auto support for AE_mp | changeset | files |
Fri, 04 Feb 2011 14:16:48 +0100 | hoelzl | add borel_fubini_integrable; remove unused bijectivity rules for measureable functions | changeset | files |
Fri, 04 Feb 2011 17:11:00 +0100 | wenzelm | parallelization of nested Isar proofs is subject to Goal.parallel_proofs_threshold; | changeset | files |