Mercurial
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
branches
|
files
|
gz
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