| Fri, 15 Jul 2011 00:49:38 +0200 | wenzelm | more visible printing of empty binding; | changeset | files |
| Fri, 15 Jul 2011 00:03:47 +0200 | wenzelm | do not check vacous bindings, which routinely occur in locale expressions and long theorem statements etc.; | changeset | files |
| Thu, 14 Jul 2011 23:05:25 +0200 | wenzelm | more quotes; | changeset | files |