| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| 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 |