Tue, 09 Jan 2001 15:18:07 +0100 | wenzelm | replaced \<macron> by \<inverse>; | changeset | files |
Tue, 09 Jan 2001 15:17:08 +0100 | wenzelm | avoid renaming of params in cases; | changeset | files |
Tue, 09 Jan 2001 15:15:28 +0100 | wenzelm | split_all operation; | changeset | files |