Fri, 12 Aug 2011 09:17:24 -0700 | huffman | make Multivariate_Analysis work with separate set type | file | diff | annotate |
Wed, 10 Aug 2011 18:02:16 -0700 | huffman | avoid warnings about duplicate rules | file | diff | annotate |
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 |