Tue, 07 Jan 2020 14:40:11 +0100 | blanchet | removed experimental option to SPASS | changeset | files |
Tue, 07 Jan 2020 12:37:12 +0100 | nipkow | alternative deletion in Red-Black trees | changeset | files |
Tue, 07 Jan 2020 07:03:18 +0100 | nipkow | generalized thm (as suggested by Christian Weinz) | changeset | files |