| Mon, 25 Nov 2013 16:59:02 +0000 | paulson | mreged | changeset | files |
| Mon, 25 Nov 2013 16:47:28 +0000 | paulson | Small simplifications to proofs | changeset | files |
| Mon, 25 Nov 2013 15:56:23 +0100 | traytel | possibility to fold coercion inference error messages; tuned; | changeset | files |
| Mon, 25 Nov 2013 16:00:09 +0000 | paulson | tweaks to the documentation | changeset | files |