| 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 |
| Sat, 17 May 2008 14:27:01 +0200 | wenzelm | added pretty_global flag; | changeset | files |
| Sat, 17 May 2008 13:54:30 +0200 | wenzelm | structure Display: less pervasive operations; | changeset | files |