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