| Wed, 22 Feb 2012 12:30:01 +0100 | bulwahn | removing some unnecessary premises from Map theory | changeset | files |
| Wed, 22 Feb 2012 09:35:01 +0100 | bulwahn | preliminarily switching quickcheck-narrowing off by default (probably it should only be invoked if concrete testing does not work) | changeset | files |
| Wed, 22 Feb 2012 08:05:28 +0100 | bulwahn | generalizing inj_on_Int | changeset | files |
| Wed, 22 Feb 2012 08:01:41 +0100 | bulwahn | moving Quickcheck's example to its own session | changeset | files |
| Tue, 21 Feb 2012 23:25:36 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 21 Feb 2012 23:24:49 +0100 | wenzelm | more robust visible_range: allow empty view; | changeset | files |
| Tue, 21 Feb 2012 22:50:28 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 21 Feb 2012 21:15:57 +0100 | wenzelm | merged; | changeset | files |