2012-02-21 huffman [Tue, 21 Feb 2012 10:30:57 +0100] rev 46559
avoid using constant Int.neg
src/HOL/Algebra/Group.thy

2012-02-21 huffman [Tue, 21 Feb 2012 09:17:53 +0100] rev 46558
renamed ex/Numeral.thy to ex/Numeral_Representation.thy
src/HOL/IsaMakefile src/HOL/ex/Numeral.thy src/HOL/ex/Numeral_Representation.thy src/HOL/ex/ROOT.ML

2012-02-21 haftmann [Tue, 21 Feb 2012 08:15:42 +0100] rev 46557
reverting changesets from 5d33a3269029 on: change of order of declaration of classical rules makes serious problems
src/HOL/Big_Operators.thy src/HOL/Complete_Lattices.thy src/HOL/Lattices.thy src/HOL/Orderings.thy src/HOL/Predicate.thy src/HOL/Product_Type.thy src/HOL/ZF/Games.thy

2012-02-20 haftmann [Mon, 20 Feb 2012 21:04:00 +0100] rev 46556
tuned whitespace
src/HOL/Product_Type.thy

2012-02-20 haftmann [Mon, 20 Feb 2012 08:01:08 +0100] rev 46555
tuned proof
src/HOL/ZF/Games.thy

2012-02-19 haftmann [Sun, 19 Feb 2012 15:40:58 +0100] rev 46554
tuned proof
src/HOL/Big_Operators.thy

2012-02-19 haftmann [Sun, 19 Feb 2012 15:30:35 +0100] rev 46553
distributed lattice properties of predicates to places of instantiation
src/HOL/Complete_Lattices.thy src/HOL/Lattices.thy src/HOL/Orderings.thy src/HOL/Predicate.thy

2012-02-20 bulwahn [Mon, 20 Feb 2012 15:17:03 +0100] rev 46552
removing some unnecessary premises from Divides
src/HOL/Divides.thy

2012-02-20 huffman [Mon, 20 Feb 2012 14:23:46 +0100] rev 46551
simplify projections on simultaneous computations of div and mod; tuned structure (from Florian Haftmann)
src/HOL/Divides.thy

2012-02-20 wenzelm [Mon, 20 Feb 2012 22:35:32 +0100] rev 46550
observe HEIGHT of overview ticks;
misc tuning and clarification;
src/Tools/jEdit/src/document_view.scala