| Tue, 11 Mar 2014 17:18:41 +0100 | blanchet | moved 'Quickcheck_Narrowing' further down the theory graph | changeset | files |
| Tue, 11 Mar 2014 17:18:39 +0100 | blanchet | make it possible to load Quickcheck exhaustive & narrowing in parallel | changeset | files |
| Tue, 11 Mar 2014 15:34:38 +0100 | blanchet | full path | changeset | files |
| Tue, 11 Mar 2014 11:32:32 +0100 | hoelzl | measurable_lfp/gfp: indirection not necessary | changeset | files |
| Mon, 10 Mar 2014 23:03:51 +0100 | wenzelm | merged | changeset | files |
| Mon, 10 Mar 2014 23:03:15 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 10 Mar 2014 22:40:48 +0100 | wenzelm | proper Char comparison, despite weakly-typed Scala (cf. 5ff5208de089); | changeset | files |