| 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 |
| Tue, 07 Nov 2006 14:14:36 +0100 | haftmann | continued | changeset | files |
| Tue, 07 Nov 2006 14:03:06 +0100 | haftmann | made locale partial_order compatible with axclass order; changed import order; consecutive changes | changeset | files |
| Tue, 07 Nov 2006 14:03:04 +0100 | haftmann | made locale partial_order compatible with axclass order | changeset | files |
| Tue, 07 Nov 2006 14:02:10 +0100 | haftmann | adjusted two lemma names due to name change in interpretation | changeset | files |
| Tue, 07 Nov 2006 14:02:08 +0100 | haftmann | changed import order | changeset | files |