11 hours ago Lars Hupel <lars.hupel@mytum.de> [Wed, 22 May 2019 22:18:45 +0200] rev 70277 default tip
Finite_Map: move lemmas from LambdaAuth AFP entry

credits: Matthias Brun, Dmitriy Traytel
src/HOL/Library/Finite_Map.thy

45 hours ago krauss [Tue, 21 May 2019 11:30:30 +0200] rev 70276
documentation for termination_simp attribute
src/Doc/Functions/Functions.thy src/Doc/Isar_Ref/HOL_Specific.thy

45 hours ago nipkow [Tue, 21 May 2019 11:47:11 +0200] rev 70275
strengthened lemma
src/HOL/List.thy

2 days ago nipkow [Mon, 20 May 2019 17:33:13 +0200] rev 70274
tuned names
src/HOL/Data_Structures/Tree23_Map.thy src/HOL/Data_Structures/Tree23_Set.thy

6 days ago nipkow [Thu, 16 May 2019 19:43:21 +0200] rev 70273
tuned name
src/HOL/Data_Structures/Tree23.thy src/HOL/Data_Structures/Tree23_Map.thy src/HOL/Data_Structures/Tree23_Set.thy

6 days ago nipkow [Thu, 16 May 2019 12:59:37 +0200] rev 70272
tuned
src/HOL/Data_Structures/Tree23_Set.thy

7 days ago paulson <lp15@cam.ac.uk> [Wed, 15 May 2019 14:43:32 +0100] rev 70271
a few general lemmas
src/HOL/Analysis/Bochner_Integration.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Lebesgue_Measure.thy src/HOL/Library/Extended_Nonnegative_Real.thy

7 days ago paulson <lp15@cam.ac.uk> [Wed, 15 May 2019 12:47:15 +0100] rev 70270
Generalisations involving numerals; comparisons should now work for ennreal
src/HOL/Num.thy src/HOL/Real.thy src/HOL/Transcendental.thy

8 days ago nipkow [Tue, 14 May 2019 20:35:09 +0200] rev 70269
tuned
src/HOL/Data_Structures/Tries_Binary.thy

8 days ago nipkow [Tue, 14 May 2019 17:21:13 +0200] rev 70268
tuned names
src/HOL/Data_Structures/Tries_Binary.thy