| Mon, 11 Jan 2016 21:21:02 +0100 | wenzelm | eliminated old defs; | file | diff | annotate |
| Fri, 26 Jun 2015 18:51:19 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 26 Jun 2015 15:55:44 +0200 | wenzelm | more symbols; | file | diff | annotate |