| Mon, 09 Apr 2018 16:20:23 +0200 | nipkow | removed dots at the end of (sub)titles | file | diff | annotate |
| Thu, 19 Oct 2017 17:16:01 +0100 | paulson | Switching to inverse image and constant_on, plus some new material | file | diff | annotate |
| Tue, 28 Feb 2017 13:51:47 +0000 | paulson | Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands | file | diff | annotate |
| Mon, 09 Jan 2017 14:40:31 +0000 | paulson | Jordan Curve Theorem | file | diff | annotate |