| Tue, 07 Nov 2006 16:21:54 +0100 | paulson | Proper theorem names at last, no fakes!! | changeset | files |
| Tue, 07 Nov 2006 15:07:02 +0100 | haftmann | some corrections | changeset | files |
| Tue, 07 Nov 2006 14:49:09 +0100 | haftmann | adjusted title | changeset | files |
| Tue, 07 Nov 2006 14:30:03 +0100 | wenzelm | simplified dest_eq; | changeset | files |
| Tue, 07 Nov 2006 14:30:00 +0100 | wenzelm | commented out parts which have been inactive (unintentionally) for a long time; | changeset | files |
| Tue, 07 Nov 2006 14:29:58 +0100 | wenzelm | removed obsolete dest_eq_typ; | changeset | files |
| Tue, 07 Nov 2006 14:29:57 +0100 | wenzelm | tuned hypsubst setup; | changeset | files |