Tue, 09 Apr 2019 21:05:32 +0100 | paulson | More homology material | changeset | files |
Tue, 09 Apr 2019 16:59:00 +0000 | haftmann | common type class for distributive division | changeset | files |
Tue, 09 Apr 2019 16:59:00 +0000 | haftmann | regenerated using isabelle regenerate_cooper | changeset | files |