| 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 |