| Wed, 27 Sep 2006 21:13:11 +0200 | wenzelm | internal params: Vartab instead of AList; | changeset | files |
| Wed, 27 Sep 2006 21:13:09 +0200 | wenzelm | removed unused serial_of, name_of; | changeset | files |
| Wed, 27 Sep 2006 20:39:09 +0200 | wenzelm | removed redundant lemmas; | changeset | files |