isabelle: Changelog

wenzelm [Tue, 14 Jul 2009 12:18:52 +0200] rev 32004

removed obsolete/unused legacy_unvarify;

wenzelm [Tue, 14 Jul 2009 12:10:44 +0200] rev 32003

tuned prepare_patternT: Term.exists_subtype;

wenzelm [Tue, 14 Jul 2009 12:10:01 +0200] rev 32002

tuned paramify_vars: Term_Subst.map_atypsT_option;

haftmann [Tue, 14 Jul 2009 10:56:43 +0200] rev 32001

merged

haftmann [Tue, 14 Jul 2009 10:54:54 +0200] rev 32000

updated to changes in sources; tuned

haftmann [Tue, 14 Jul 2009 10:54:21 +0200] rev 31999

updated to changes in sources; tuned

haftmann [Tue, 14 Jul 2009 10:54:04 +0200] rev 31998

code attributes use common underscore convention

haftmann [Tue, 14 Jul 2009 10:53:44 +0200] rev 31997

NEWS and CONTRIBUTORS

berghofe [Mon, 13 Jul 2009 19:07:05 +0200] rev 31996

Tuned proof of lcm_1_iff_int, because metis produced enormous proof term.

nipkow [Sun, 12 Jul 2009 14:48:01 +0200] rev 31995

more gcd/lcm lemmas

isabelle