| Tue, 19 Jul 2011 14:38:48 +0200 | hoelzl | rename Fin to enat | file | diff | annotate |
| Tue, 19 Jul 2011 14:38:29 +0200 | hoelzl | add ereal to typeclass infinity | file | diff | annotate |
| Tue, 19 Jul 2011 14:37:49 +0200 | hoelzl | add nat => enat coercion | file | diff | annotate |
| Tue, 19 Jul 2011 14:37:09 +0200 | hoelzl | Introduce infinity type class | file | diff | annotate |
| Tue, 19 Jul 2011 14:35:44 +0200 | hoelzl | rename Nat_Infinity (inat) to Extended_Nat (enat) | file | diff | annotate | base |