Thu, 09 Jan 2020 13:44:16 +0100 | wenzelm | unused; | changeset | files |
Thu, 09 Jan 2020 13:39:33 +0100 | wenzelm | tuned -- more direct java.util.Map.of; | changeset | files |
Thu, 09 Jan 2020 08:42:01 +0100 | nipkow | added lemma | changeset | files |
Tue, 07 Jan 2020 17:12:54 +0100 | traytel | merged | changeset | files |
Tue, 07 Jan 2020 14:58:01 +0100 | traytel | eliminated one redundant proof obligation in lift_bnf for quotients | changeset | files |
Tue, 07 Jan 2020 14:40:11 +0100 | blanchet | removed experimental option to SPASS | changeset | files |