isabelle: Changelog

haftmann [Tue, 07 Nov 2006 15:07:02 +0100] rev 21223

some corrections

haftmann [Tue, 07 Nov 2006 14:49:09 +0100] rev 21222

adjusted title

wenzelm [Tue, 07 Nov 2006 14:30:03 +0100] rev 21221

simplified dest_eq; do not export debuging stuff; has_tvars: actually check all types within a term, not just its resulting type; tuned;

wenzelm [Tue, 07 Nov 2006 14:30:00 +0100] rev 21220

commented out parts which have been inactive (unintentionally) for a long time;

wenzelm [Tue, 07 Nov 2006 14:29:58 +0100] rev 21219

removed obsolete dest_eq_typ;

wenzelm [Tue, 07 Nov 2006 14:29:57 +0100] rev 21218

tuned hypsubst setup;

haftmann [Tue, 07 Nov 2006 14:14:36 +0100] rev 21217

continued

haftmann [Tue, 07 Nov 2006 14:03:06 +0100] rev 21216

made locale partial_order compatible with axclass order; changed import order; consecutive changes

haftmann [Tue, 07 Nov 2006 14:03:04 +0100] rev 21215

made locale partial_order compatible with axclass order

haftmann [Tue, 07 Nov 2006 14:02:10 +0100] rev 21214

adjusted two lemma names due to name change in interpretation

isabelle