Tue, 19 Jul 2011 14:37:09 +0200 | hoelzl | Introduce infinity type class | changeset | files |
Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | changeset | files |
Tue, 19 Jul 2011 14:35:44 +0200 | hoelzl | rename Nat_Infinity (inat) to Extended_Nat (enat) | changeset | files |