| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | changeset | files |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | changeset | files |
| Tue, 09 Jan 2001 15:29:17 +0100 | nipkow | `` -> ` and ``` -> `` | changeset | files |
| Tue, 09 Jan 2001 15:22:13 +0100 | nipkow | `` -> and ``` -> `` | changeset | files |
| 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 |
| Tue, 09 Jan 2001 13:54:44 +0100 | oheimb | improved evaluation judgment syntax; modified Loop rule | changeset | files |