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

2009-07-14 haftmann [Tue, 14 Jul 2009 10:54:54 +0200] rev 32000
updated to changes in sources; tuned
doc-src/Codegen/Thy/Program.thy doc-src/Codegen/Thy/document/ML.tex doc-src/Codegen/Thy/document/Program.tex

2009-07-14 haftmann [Tue, 14 Jul 2009 10:54:21 +0200] rev 31999
updated to changes in sources; tuned
doc-src/Codegen/Thy/ML.thy

2009-07-14 haftmann [Tue, 14 Jul 2009 10:54:04 +0200] rev 31998
code attributes use common underscore convention
doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex src/HOL/Code_Eval.thy src/HOL/Code_Numeral.thy src/HOL/Divides.thy src/HOL/HOL.thy src/HOL/Imperative_HOL/Heap_Monad.thy src/HOL/Int.thy src/HOL/IntDiv.thy src/HOL/Library/Code_Char_chr.thy src/HOL/Library/Efficient_Nat.thy src/HOL/Library/Executable_Set.thy src/HOL/Library/Float.thy src/HOL/Library/Fraction_Field.thy src/HOL/Library/Nat_Infinity.thy src/HOL/Library/Polynomial.thy src/HOL/List.thy src/HOL/MicroJava/BV/BVExample.thy src/HOL/Nat.thy src/HOL/Nat_Numeral.thy src/HOL/Option.thy src/HOL/Orderings.thy src/HOL/Power.thy src/HOL/Rational.thy src/HOL/RealDef.thy src/HOL/SetInterval.thy src/HOL/String.thy src/HOL/Tools/inductive_codegen.ML src/HOL/Tools/inductive_set.ML src/HOL/Tools/recfun_codegen.ML src/HOL/ex/Numeral.thy src/Pure/Isar/code.ML src/Tools/Code/code_preproc.ML

2009-07-14 haftmann [Tue, 14 Jul 2009 10:53:44 +0200] rev 31997
NEWS and CONTRIBUTORS
CONTRIBUTORS NEWS

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