| Sun, 20 May 2018 18:37:34 +0100 | paulson | tidy up of Derivative | file | diff | annotate |
| Sun, 29 Apr 2018 14:46:11 +0100 | paulson | more defer/prefer | file | diff | annotate |
| Sat, 14 Apr 2018 09:23:00 +0100 | paulson | new material about vec, real^1, etc. | file | diff | annotate |
| Mon, 09 Apr 2018 16:20:23 +0200 | nipkow | removed dots at the end of (sub)titles | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 08 Jan 2018 17:11:25 +0000 | paulson | moved in some material from Euler-MacLaurin | file | diff | annotate |