| Fri, 05 Nov 2010 14:10:41 +0100 | haftmann | added class relation group_add < cancel_semigroup_add | changeset | files |
| Fri, 05 Nov 2010 09:07:14 +0100 | bulwahn | merged | changeset | files |
| Fri, 05 Nov 2010 08:16:35 +0100 | bulwahn | changing timeout to real value; handling Interrupt and Timeout more like nitpick does | changeset | files |
| Fri, 05 Nov 2010 08:16:34 +0100 | bulwahn | added two lemmas about injectivity of concat to the list theory | changeset | files |
| Fri, 05 Nov 2010 08:16:31 +0100 | bulwahn | adding documentation of some quickcheck options | changeset | files |
| Fri, 05 Nov 2010 08:28:57 +0100 | haftmann | merged | changeset | files |
| Thu, 04 Nov 2010 17:27:38 +0100 | haftmann | Code.check_const etc.: reject too specific types | changeset | files |
| Thu, 04 Nov 2010 17:27:37 +0100 | haftmann | corrected quoting | changeset | files |