3 hours ago paulson <lp15@cam.ac.uk> [Wed, 24 Apr 2019 22:29:03 +0100] rev 70194 default tip
getting rid of most apply steps
src/HOL/ex/Tarski.thy

2 days ago haftmann [Mon, 22 Apr 2019 09:33:55 +0000] rev 70193
consolidated map2 clones
src/HOL/Word/Bits_Int.thy src/HOL/Word/Misc_Auxiliary.thy src/HOL/Word/Word.thy src/HOL/Word/Word_Bitwise.thy

2 days ago haftmann [Mon, 22 Apr 2019 09:33:55 +0000] rev 70192
separate type class for bit comprehension
src/HOL/Word/Bit_Comprehension.thy src/HOL/Word/Bits.thy src/HOL/Word/Bits_Int.thy src/HOL/Word/Word.thy

2 days ago haftmann [Mon, 22 Apr 2019 09:33:55 +0000] rev 70191
no need to maintain two separate type classes
src/HOL/Word/Bits.thy src/HOL/Word/Bits_Bit.thy src/HOL/Word/Bits_Int.thy src/HOL/Word/Word.thy

2 days ago haftmann [Mon, 22 Apr 2019 06:28:17 +0000] rev 70190
clarified structure of theories
src/HOL/Word/Bit_Representation.thy src/HOL/Word/Bits.thy src/HOL/Word/Bits_Int.thy src/HOL/Word/Bool_List_Representation.thy src/HOL/Word/Misc_Arithmetic.thy src/HOL/Word/Misc_Auxiliary.thy src/HOL/Word/Word.thy src/HOL/Word/Word_Bitwise.thy

4 days ago haftmann [Sat, 20 Apr 2019 18:02:22 +0000] rev 70189
follow convention of bold local syntax
src/HOL/Library/Boolean_Algebra.thy

4 days ago haftmann [Sat, 20 Apr 2019 18:02:22 +0000] rev 70188
more use of existing locales
src/HOL/Library/Boolean_Algebra.thy

4 days ago haftmann [Sat, 20 Apr 2019 18:02:21 +0000] rev 70187
avoid separate type class for mere definitional extension
src/HOL/Library/Boolean_Algebra.thy src/HOL/Word/Word.thy

4 days ago haftmann [Sat, 20 Apr 2019 18:02:20 +0000] rev 70186
tuned name
src/HOL/Library/Boolean_Algebra.thy src/HOL/Word/Word.thy

4 days ago haftmann [Sat, 20 Apr 2019 13:44:16 +0000] rev 70185
clarified notation
src/HOL/Library/Saturated.thy src/HOL/SPARK/Examples/RIPEMD-160/Round.thy src/HOL/SPARK/SPARK.thy src/HOL/Word/Word.thy src/HOL/Word/Word_Bitwise.thy