| Wed, 07 Dec 2011 15:10:29 +0100 | hoelzl | remove unnecessary sublocale instantiations in HOL-Probability (for clarity and speedup); remove Infinite_Product_Measure.product_prob_space which was a duplicate of Probability_Measure.product_prob_space | changeset | files |
| Mon, 05 Dec 2011 15:10:15 +0100 | huffman | remove mem_(c)ball_0 and centre_in_(c)ball from simpset, as rules mem_(c)ball always match instead | changeset | files |
| Wed, 07 Dec 2011 10:50:30 +0100 | huffman | add cancellation simprocs for type enat | changeset | files |
| Wed, 07 Dec 2011 11:24:45 +0100 | nipkow | tuned | changeset | files |
| Tue, 06 Dec 2011 15:23:16 +0100 | bulwahn | increasing quickcheck's timeout in the example theory to avoid failures on the testing infrastructure | changeset | files |
| Tue, 06 Dec 2011 14:29:37 +0100 | hoelzl | tuned proofs | changeset | files |
| Tue, 06 Dec 2011 14:18:24 +0100 | nipkow | added lemmas | changeset | files |