| Tue, 29 Aug 2017 17:41:11 +0100 | paulson | last-minute integration unscrambling | file | diff | annotate |
| Wed, 23 Aug 2017 23:46:35 +0100 | paulson | More tidying, and renaming of theorems | file | diff | annotate |
| Sun, 13 Aug 2017 19:24:33 +0100 | paulson | general rationalisation of Analysis | file | diff | annotate |
| Tue, 01 Aug 2017 17:33:04 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Wed, 26 Jul 2017 16:07:45 +0100 | paulson | New theory of Equiintegrability / Continuity of the indefinite integral / improper integration | file | diff | annotate |