22 months ago eberlm <eberlm@in.tum.de> [Thu, 17 Aug 2017 22:29:30 +0200] rev 66450
NEWS: Removed constant subseq; subsumed by strict_mono
NEWS

22 months ago wenzelm [Thu, 17 Aug 2017 21:12:55 +0200] rev 66449
support for incremental update according to session graph structure;
NEWS src/Pure/Tools/imports.scala

22 months ago eberlm <eberlm@in.tum.de> [Thu, 17 Aug 2017 18:19:16 +0200] rev 66448
Merged

22 months ago eberlm <eberlm@in.tum.de> [Thu, 17 Aug 2017 14:52:56 +0200] rev 66447
Replaced subseq with strict_mono
src/HOL/Analysis/Bochner_Integration.thy src/HOL/Analysis/Bounded_Linear_Function.thy src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Gamma_Function.thy src/HOL/Analysis/Great_Picard.thy src/HOL/Analysis/Harmonic_Numbers.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Set_Integral.thy src/HOL/Analysis/Summation_Tests.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy src/HOL/Library/Diagonal_Subsequence.thy src/HOL/Library/Liminf_Limsup.thy src/HOL/Limits.thy src/HOL/Probability/Helly_Selection.thy src/HOL/Probability/Levy.thy src/HOL/Probability/Projective_Limit.thy src/HOL/Series.thy src/HOL/Topological_Spaces.thy

22 months ago Lars Hupel <lars.hupel@mytum.de> [Thu, 17 Aug 2017 15:10:35 +0200] rev 66446
fix document
src/HOL/Word/WordBitwise.thy

22 months ago wenzelm [Thu, 17 Aug 2017 14:40:42 +0200] rev 66445
more complete session (amending e77ea0ea7f2c);
src/HOL/ROOT

22 months ago wenzelm [Thu, 17 Aug 2017 14:28:01 +0200] rev 66444
clarified imports;
src/CCL/ROOT src/Doc/ROOT src/HOL/ROOT src/LCF/ROOT src/ZF/ROOT

22 months ago wenzelm [Thu, 17 Aug 2017 14:13:34 +0200] rev 66443
more complete session (amending 783861a66a60);
src/HOL/ROOT

22 months ago nipkow [Thu, 17 Aug 2017 07:27:17 +0200] rev 66442
added lemma
src/HOL/List.thy

22 months ago nipkow [Wed, 16 Aug 2017 21:14:11 +0200] rev 66441
more reorganization around sorted_wrt
src/HOL/Data_Structures/AList_Upd_Del.thy src/HOL/Data_Structures/List_Ins_Del.thy src/HOL/Data_Structures/Sorted_Less.thy src/HOL/List.thy src/HOL/Relation.thy