| Mon, 12 Dec 2011 19:47:50 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 12 Dec 2011 17:22:48 +0100 | bulwahn | tuned quickcheck's response | changeset | files |
| Mon, 12 Dec 2011 13:45:54 +0100 | bulwahn | hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory; | changeset | files |
| Mon, 12 Dec 2011 12:03:34 +0100 | huffman | merged | changeset | files |
| Mon, 12 Dec 2011 08:19:37 +0100 | huffman | replace more uses of 'lemmas' with explicit 'lemma'; | changeset | files |
| Mon, 12 Dec 2011 15:32:54 +0900 | Cezary Kaliszyk | Add Quotient_Rat: an example of using the quotient package with partial equivalence relations, defining rational numbers. | changeset | files |
| Sun, 11 Dec 2011 21:57:22 +0100 | huffman | fix spelling | changeset | files |