| 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 |
| Sun, 11 Dec 2011 21:54:20 +0100 | huffman | fix spelling | changeset | files |
| Sun, 11 Dec 2011 18:22:06 +0100 | nipkow | added IMP/Live_True.thy | changeset | files |
| Sun, 11 Dec 2011 09:55:57 +0100 | huffman | replace many uses of 'lemmas' with 'lemma'; | changeset | files |