Wed, 21 Mar 2018 19:39:23 +0100 | haftmann | prefer convention to place operation name before type name | changeset | files |
Tue, 20 Mar 2018 09:27:40 +0000 | haftmann | more lemmas | changeset | files |
Tue, 20 Mar 2018 09:27:39 +0000 | haftmann | generalized | changeset | files |