| Fri, 04 Feb 2011 20:40:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 04 Feb 2011 17:25:12 +0100 | wenzelm | merged | changeset | files |
| Fri, 04 Feb 2011 14:16:55 +0100 | hoelzl | prefer p2e before e2p; use measure_unique_Int_stable_vimage; | changeset | files |
| 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 |
| Fri, 04 Feb 2011 16:33:12 +0100 | wenzelm | Task_Queue.update_timing: more precise treatment of interruptibility; | changeset | files |