| Thu, 10 Jul 2008 13:37:33 +0200 | wenzelm | added is_diag; | changeset | files |
| Thu, 10 Jul 2008 13:37:31 +0200 | wenzelm | slightly improved @{lemma} (both for latex and ML); | changeset | files |
| Thu, 10 Jul 2008 11:17:16 +0200 | wenzelm | misc tuning; | changeset | files |