| Thu, 01 Dec 2005 17:07:50 +0100 | berghofe | Improved norm_proof to handle proofs containing term (type) variables | changeset | files |
| 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 |