4 days ago haftmann [Sun, 16 Jun 2019 16:40:57 +0000] rev 70353 default tip
even more appropriate fact name
src/HOL/Parity.thy src/HOL/ex/Bit_Lists.thy

4 days ago haftmann [Sun, 16 Jun 2019 16:40:57 +0000] rev 70352
more correct indicator
src/Tools/Code/code_ml.ML

6 days ago haftmann [Fri, 14 Jun 2019 12:29:50 +0200] rev 70351
make latex happy
src/HOL/Library/Z2.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70350
moved some theorems into HOL main corpus
src/HOL/Data_Structures/AVL_Set.thy src/HOL/Decision_Procs/Approximation_Bounds.thy src/HOL/Library/Log_Nat.thy src/HOL/Library/Tree_Real.thy src/HOL/Rat.thy src/HOL/Transcendental.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70349
misc tuning and modernization
src/HOL/Library/Log_Nat.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70348
more theorems for proof of concept for word type
src/HOL/Library/Type_Length.thy src/HOL/ex/Word_Type.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70347
official fact collection sign_simps
NEWS src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Decision_Procs/Approximation_Bounds.thy src/HOL/Groups.thy src/HOL/Library/Float.thy src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy src/HOL/Rat.thy src/HOL/Rings.thy src/HOL/ex/Ballot.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70346
tuned proofs
src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Derivative.thy src/HOL/Analysis/Elementary_Normed_Spaces.thy src/HOL/Deriv.thy src/HOL/Library/Extended_Nonnegative_Real.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70345
avoid pseudo-collection to be used in generated proofs
src/HOL/Rat.thy

6 days ago haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70344
moved comment to approproiate place
src/HOL/Fields.thy src/HOL/Rat.thy