2012-03-28 bulwahn [Wed, 28 Mar 2012 10:16:02 +0200] rev 47179
changing more definitions to quotient_definition
src/HOL/Library/Multiset.thy

2012-03-28 bulwahn [Wed, 28 Mar 2012 10:02:22 +0200] rev 47178
removing now redundant impl_of theorems in DAList
src/HOL/Library/DAList.thy

2012-03-28 bulwahn [Wed, 28 Mar 2012 10:00:52 +0200] rev 47177
using abstract code equations for proofs of code equations in Multiset
src/HOL/Library/Multiset.thy

2012-03-28 wenzelm [Wed, 28 Mar 2012 12:08:08 +0200] rev 47176
simplified statements and proofs;
src/HOL/Bali/Decl.thy src/HOL/Bali/Trans.thy src/HOL/Bali/TypeRel.thy src/HOL/Bali/WellForm.thy

2012-03-28 wenzelm [Wed, 28 Mar 2012 11:46:14 +0200] rev 47175
tuned whitespace;
src/HOL/Unix/Unix.thy

2012-03-28 wenzelm [Wed, 28 Mar 2012 11:17:32 +0200] rev 47174
updated Sign.add_type, Name_Space.declare;
doc-src/IsarImplementation/Thy/Logic.thy doc-src/IsarImplementation/Thy/Prelim.thy doc-src/IsarImplementation/Thy/document/Logic.tex doc-src/IsarImplementation/Thy/document/Prelim.tex

2012-03-28 wenzelm [Wed, 28 Mar 2012 11:04:39 +0200] rev 47173
updated comments;
etc/settings

2012-03-28 huffman [Wed, 28 Mar 2012 08:25:51 +0200] rev 47172
merged
NEWS src/Tools/jEdit/patches/jedit-4.4.1/extended_styles src/Tools/jEdit/patches/jedit-4.4.1/render_context src/Tools/jEdit/patches/jedit-4.5.0/extended_styles

2012-03-27 huffman [Tue, 27 Mar 2012 22:10:26 +0200] rev 47171
remove unnecessary rules from the simpset
src/HOL/Word/Misc_Numeric.thy

2012-03-27 huffman [Tue, 27 Mar 2012 21:58:41 +0200] rev 47170
remove unused premises
src/HOL/Word/Bit_Representation.thy src/HOL/Word/Misc_Numeric.thy