| 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 |
| Mon, 10 Mar 2014 22:39:37 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 10 Mar 2014 22:28:20 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 10 Mar 2014 22:22:03 +0100 | wenzelm | include long identifiers in the reckoning of words (e.g. "integer.lifting" vs. 'lifting_update'); | changeset | files |