| Sat, 17 May 2008 21:46:24 +0200 | wenzelm | tuned proof; | changeset | files |
| Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | changeset | files |
| Sat, 17 May 2008 15:31:42 +0200 | wenzelm | cat_lines; | changeset | files |
| Sat, 17 May 2008 14:27:02 +0200 | wenzelm | default token translations: observe Sign.is_pretty_global for fixed variables; | changeset | files |