Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
Mon, 24 Sep 2018 14:30:09 +0200 | nipkow | Prefix form of infix with * on either side no longer needs special treatment | file | diff | annotate |
Fri, 13 Jul 2018 16:54:36 +0100 | Manuel Eberl | Tagged Ball_Volume and Gamma_Function in HOL-Analysis | file | diff | annotate |
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 |