| 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 |