| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 09 Sep 2015 14:47:41 +0200 | wenzelm | eliminated \<Colon> from syntax of constraints; | file | diff | annotate |