Thu, 21 Jul 2011 22:47:13 +0200 | haftmann | moved some lemmas | file | diff | annotate |
Thu, 21 Jul 2011 18:40:31 +0200 | haftmann | ereal is a complete_linorder instance | file | diff | annotate |
Wed, 20 Jul 2011 15:42:23 +0200 | hoelzl | add code generator setup and tests for ereal | file | diff | annotate |
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:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate | base |