Thu, 04 Nov 2010 13:42:36 +0100 | haftmann | added note on countable types | changeset | files |
Thu, 04 Nov 2010 18:01:55 +0100 | boehmes | simulate more closely the behaviour of the tactic | changeset | files |
Thu, 04 Nov 2010 17:17:21 +0100 | wenzelm | merged | changeset | files |
Thu, 04 Nov 2010 13:37:11 +0100 | haftmann | merged | changeset | files |
Thu, 04 Nov 2010 09:54:16 +0100 | haftmann | merged | changeset | files |
Wed, 03 Nov 2010 14:14:06 +0100 | haftmann | dropped debug message | changeset | files |