5 months ago immler [Mon, 13 May 2019 13:39:59 +0200] rev 70279
amended to unoverload actually all parameters of a type variable
src/HOL/Types_To_Sets/unoverload_type.ML

5 months ago wenzelm [Mon, 13 May 2019 16:30:20 +0200] rev 70278
proper message;
src/Tools/jEdit/src/query_dockable.scala

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

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

5 months 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

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

5 months 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

5 months 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

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

5 months 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

5 months 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