17 months ago paulson <lp15@cam.ac.uk> [Mon, 09 Apr 2018 15:20:11 +0100] rev 67969
Syntax for the special cases Min(A`I) and Max (A`I)
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Factorial.thy src/HOL/Fields.thy src/HOL/Groups_Big.thy src/HOL/Int.thy src/HOL/Lattices_Big.thy

17 months ago nipkow [Mon, 09 Apr 2018 16:20:23 +0200] rev 67968
removed dots at the end of (sub)titles
src/HOL/Analysis/Arcwise_Connected.thy src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Complex_Analysis_Basics.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Continuous_Extension.thy src/HOL/Analysis/Continuum_Not_Denumerable.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Derivative.thy src/HOL/Analysis/Determinants.thy src/HOL/Analysis/Fashoda_Theorem.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Jordan_Curve.thy src/HOL/Analysis/Lebesgue_Measure.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Poly_Roots.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy

17 months ago nipkow [Sun, 08 Apr 2018 12:31:08 +0200] rev 67967
moved and renamed lemmas
src/HOL/Data_Structures/AA_Set.thy src/HOL/Data_Structures/AVL_Set.thy src/HOL/Data_Structures/Isin2.thy src/HOL/Data_Structures/RBT_Set.thy src/HOL/Data_Structures/Set2_BST2_Join.thy src/HOL/Data_Structures/Tree2.thy

17 months ago nipkow [Sun, 08 Apr 2018 12:14:00 +0200] rev 67966
Added binary set operations with join-based implementation
src/HOL/Data_Structures/Set2_BST2_Join.thy src/HOL/Data_Structures/Set2_BST2_Join_RBT.thy src/HOL/Data_Structures/Set2_BST_Join.thy src/HOL/Data_Structures/document/root.bib src/HOL/Data_Structures/document/root.tex

17 months ago nipkow [Sun, 08 Apr 2018 11:05:52 +0200] rev 67965
more name tuning
src/HOL/Data_Structures/Brother12_Map.thy src/HOL/Data_Structures/Brother12_Set.thy src/HOL/Data_Structures/Isin2.thy src/HOL/Data_Structures/Lookup2.thy src/HOL/Data_Structures/Map_Specs.thy src/HOL/Data_Structures/Map_by_Ordered.thy src/HOL/Data_Structures/Set_Interfaces.thy src/HOL/Data_Structures/Set_Specs.thy src/HOL/Data_Structures/Tree234_Map.thy src/HOL/Data_Structures/Tree234_Set.thy src/HOL/Data_Structures/Tree23_Map.thy src/HOL/Data_Structures/Tree23_Set.thy src/HOL/Data_Structures/Tree_Map.thy src/HOL/Data_Structures/Tree_Set.thy src/HOL/ROOT

17 months ago nipkow [Sun, 08 Apr 2018 09:46:33 +0200] rev 67964
better name; added binary operations
src/HOL/Data_Structures/AVL_Set.thy src/HOL/Data_Structures/Brother12_Set.thy src/HOL/Data_Structures/Isin2.thy src/HOL/Data_Structures/Set_Interfaces.thy src/HOL/Data_Structures/Set_by_Ordered.thy src/HOL/Data_Structures/Tree234_Set.thy src/HOL/Data_Structures/Tree23_Set.thy src/HOL/Data_Structures/Tree_Set.thy

17 months ago nipkow [Sat, 07 Apr 2018 22:09:57 +0200] rev 67963
tuned
src/HOL/Data_Structures/RBT_Set.thy

17 months ago immler [Fri, 06 Apr 2018 17:34:50 +0200] rev 67962
a first shot at tagging for HOL-Analysis manual
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Continuous_Extension.thy src/HOL/Analysis/Continuum_Not_Denumerable.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Euclidean_Space.thy src/HOL/Analysis/Inner_Product.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Analysis/Measurable.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Norm_Arith.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Product_Vector.thy src/HOL/Analysis/Sigma_Algebra.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Topology_Euclidean_Space.thy

17 months ago haftmann [Thu, 05 Apr 2018 06:15:02 +0000] rev 67961
even more on bit operations
src/HOL/Parity.thy src/HOL/ex/Word_Type.thy

17 months ago haftmann [Wed, 04 Apr 2018 20:52:36 +0200] rev 67960
more bit operation conversions
src/HOL/Parity.thy