Tue, 28 Mar 2000 17:32:24 +0200 | nipkow | added weak_case_cong feature | changeset | files |
Tue, 28 Mar 2000 17:31:36 +0200 | nipkow | mods because of weak_case_cong | changeset | files |
Tue, 28 Mar 2000 12:28:24 +0200 | wenzelm | fixed railqtoken; | changeset | files |