| Sat, 23 Jul 2011 16:37:17 +0200 | wenzelm | defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||); | changeset | files |
| Sat, 23 Jul 2011 16:12:12 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 22 Jul 2011 07:33:34 +0200 | haftmann | merged | changeset | files |
| Fri, 22 Jul 2011 07:33:29 +0200 | haftmann | dropped errorneous hint | changeset | files |
| Thu, 21 Jul 2011 22:47:13 +0200 | haftmann | moved some lemmas | changeset | files |
| Thu, 21 Jul 2011 21:56:24 +0200 | haftmann | merged | changeset | files |
| Thu, 21 Jul 2011 18:40:31 +0200 | haftmann | ereal is a complete_linorder instance | changeset | files |