2 hours ago paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 16:14:35 +0100] rev 68045 default tip
small typeclass generalisations
src/HOL/Analysis/Cartesian_Euclidean_Space.thy

4 hours ago paulson [Thu, 26 Apr 2018 14:03:12 +0100] rev 68044
merged

5 hours ago paulson <lp15@cam.ac.uk> [Thu, 26 Apr 2018 12:55:48 +0100] rev 68043
some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous
src/HOL/Analysis/Cartesian_Euclidean_Space.thy

6 hours ago wenzelm [Thu, 26 Apr 2018 12:32:13 +0200] rev 68042
spelling;
src/Doc/JEdit/JEdit.thy

20 hours ago paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 21:29:02 +0100] rev 68041
more messy proofs redone, and new material
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Convex_Euclidean_Space.thy

25 hours ago paulson [Wed, 25 Apr 2018 16:40:29 +0100] rev 68040
merged

26 hours ago paulson [Wed, 25 Apr 2018 15:36:48 +0100] rev 68039
merged

26 hours ago paulson <lp15@cam.ac.uk> [Wed, 25 Apr 2018 15:36:29 +0100] rev 68038
new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP)
src/HOL/Analysis/Cartesian_Euclidean_Space.thy

27 hours ago wenzelm [Wed, 25 Apr 2018 16:03:15 +0200] rev 68037
merged

29 hours ago wenzelm [Wed, 25 Apr 2018 14:13:44 +0200] rev 68036
tuned -- avoid spurious exception trace for "the";
src/Pure/more_thm.ML