Thu, 14 Jun 2018 14:23:38 +0100 | paulson | reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories | changeset | files |
Tue, 12 Jun 2018 16:09:12 +0100 | paulson | merged | changeset | files |
Tue, 12 Jun 2018 16:08:57 +0100 | paulson | New material from Martin Baillon and Paulo EmÃlio de Vilhena | changeset | files |