| Thu, 01 Dec 2005 15:45:54 +0100 | paulson | restoring the old status of subset_refl | changeset | files |
| Thu, 01 Dec 2005 08:28:02 +0100 | haftmann | oriented pairs theory * 'a to 'a * theory | changeset | files |
| Thu, 01 Dec 2005 06:28:41 +0100 | urbanc | initial cleanup to use the new induction method | changeset | files |