| Fri, 07 Sep 2012 13:58:43 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 07 Sep 2012 14:15:46 +0200 | bulwahn | clearer names for functions in Quickcheck's narrowing engine | changeset | files |
| Fri, 07 Sep 2012 08:36:04 +0200 | nipkow | merged | changeset | files |
| Fri, 07 Sep 2012 08:35:35 +0200 | nipkow | tuned latex | changeset | files |
| Fri, 07 Sep 2012 08:20:18 +0200 | haftmann | lattice instances for option type | changeset | files |
| Fri, 07 Sep 2012 08:20:18 +0200 | haftmann | combinator Option.these | changeset | files |
| Fri, 07 Sep 2012 07:20:55 +0200 | nipkow | adjusted examples | changeset | files |
| Thu, 06 Sep 2012 08:59:50 -0700 | huffman | countable_datatype method: pre-instantiate induction rule to avoid failure with e.g. datatype a = A "b list" and b = B "a" | changeset | files |