| Thu, 10 Aug 2017 13:37:27 +0200 | eberlm | Winding numbers for rectangular paths | file | diff | annotate |
| Tue, 01 Aug 2017 17:33:04 +0200 | wenzelm | isabelle update_cartouches -c -t; | 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 |
| Wed, 22 Feb 2017 15:04:59 +0000 | paulson | New theory about Winding Numbers | file | diff | annotate |