| 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 |
| Mon, 05 Dec 2011 22:29:43 +0100 | nipkow | tuned proof | changeset | files |
| Mon, 05 Dec 2011 17:33:57 +0100 | hoelzl | real is better supported than real_of_nat, use it in the nat => ereal coercion | changeset | files |
| Mon, 05 Dec 2011 14:47:01 +0100 | kuncar | merged | changeset | files |
| Mon, 05 Dec 2011 14:44:46 +0100 | kuncar | the note about morphisms moved in the description part | changeset | files |