Thu, 18 Jan 2018 08:08:36 +0100 | nipkow | more automation | changeset | files |
Wed, 17 Jan 2018 12:27:06 +0100 | nipkow | more lemmas by Gouezele | changeset | files |
Wed, 17 Jan 2018 09:55:03 +0100 | nipkow | move lemmas by Gouezel to distribution | changeset | files |