isabelle: Changelog

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

nipkow [Sun, 12 Jul 2009 11:36:09 +0200] rev 31994

typo

nipkow [Sun, 12 Jul 2009 11:25:56 +0200] rev 31993

resolvd conflict

nipkow [Sun, 12 Jul 2009 10:14:51 +0200] rev 31992

More about gcd/lcm, and some cleaning up

haftmann [Sat, 11 Jul 2009 21:33:01 +0200] rev 31991

added boolean_algebra type class; tuned lattice duals

krauss [Fri, 10 Jul 2009 09:24:50 +0200] rev 31990

move Kleene_Algebra to Library

isabelle