Sat, 09 Aug 2014 21:03:42 +0200 | wenzelm | tuned; | changeset | files |
Sat, 09 Aug 2014 07:59:15 +0200 | nipkow | tuned | changeset | files |
Fri, 08 Aug 2014 17:36:08 +0200 | Andreas Lochbihler | add complete_lattice instances for Enum.finite_* types such that quickcheck deals with lattice class operations | changeset | files |