| Mon, 20 Oct 2008 23:53:17 +0200 | nipkow | fixed proof | changeset | files |
| Mon, 20 Oct 2008 23:52:59 +0200 | nipkow | added lemmas | changeset | files |
| Sun, 19 Oct 2008 21:20:55 +0200 | berghofe | Names of variables in perm_eqs are now chosen more carefully to avoid | changeset | files |