| Sun, 15 Apr 2018 13:57:00 +0100 | paulson | various new results on measures, integrals, etc., and some simplified proofs | file | diff | annotate |
| Thu, 12 Apr 2018 12:16:34 +0100 | paulson | Analysis builds using set_borel_measurable_def, etc. | file | diff | annotate |
| Sun, 25 Feb 2018 12:54:55 +0000 | paulson | new material on matrices, etc., and consolidating duplicate results about of_nat | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sun, 24 Dec 2017 14:28:10 +0100 | eberlm | Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume | file | diff | annotate |