2009-07-13 berghofe [Mon, 13 Jul 2009 19:07:05 +0200] rev 31996
Tuned proof of lcm_1_iff_int, because metis produced enormous proof term.
src/HOL/GCD.thy

2009-07-12 nipkow [Sun, 12 Jul 2009 14:48:01 +0200] rev 31995
more gcd/lcm lemmas
src/HOL/GCD.thy

2009-07-12 nipkow [Sun, 12 Jul 2009 11:36:09 +0200] rev 31994
typo
src/HOL/Finite_Set.thy

2009-07-12 nipkow [Sun, 12 Jul 2009 11:25:56 +0200] rev 31993
resolvd conflict
src/HOL/Finite_Set.thy

2009-07-12 nipkow [Sun, 12 Jul 2009 10:14:51 +0200] rev 31992
More about gcd/lcm, and some cleaning up
src/HOL/Finite_Set.thy src/HOL/GCD.thy src/HOL/Library/Countable.thy

2009-07-11 haftmann [Sat, 11 Jul 2009 21:33:01 +0200] rev 31991
added boolean_algebra type class; tuned lattice duals
src/HOL/Finite_Set.thy src/HOL/Lattices.thy src/HOL/Set.thy

2009-07-10 krauss [Fri, 10 Jul 2009 09:24:50 +0200] rev 31990
move Kleene_Algebra to Library
src/HOL/IsaMakefile src/HOL/Library/Kleene_Algebra.thy src/HOL/Library/Library.thy src/HOL/SizeChange/Graphs.thy src/HOL/SizeChange/Kleene_Algebras.thy

2009-07-10 haftmann [Fri, 10 Jul 2009 07:59:44 +0200] rev 31989
merged
src/Pure/Isar/expression.ML

2009-07-10 haftmann [Fri, 10 Jul 2009 07:59:29 +0200] rev 31988
tuned locale interface
src/Pure/Isar/class_target.ML src/Pure/Isar/expression.ML src/Pure/Isar/locale.ML

2009-07-10 haftmann [Fri, 10 Jul 2009 07:59:28 +0200] rev 31987
tuned
src/Pure/Isar/class.ML