| Mon, 01 Apr 2019 17:02:43 +0100 | paulson | A few results in Algebra, and bits for Analysis | file | diff | annotate |
| Sun, 08 Jul 2018 23:35:33 +0100 | paulson | removal of smt | file | diff | annotate |
| Sun, 08 Jul 2018 16:07:26 +0100 | paulson | elimination of some "smt" | file | diff | annotate |
| Sun, 01 Jul 2018 16:13:25 +0100 | paulson | a few more lemmas from Paulo and Martin | file | diff | annotate |
| Mon, 18 Jun 2018 15:56:03 +0100 | paulson | corrections to markup | file | diff | annotate |
| Fri, 15 Jun 2018 12:18:06 +0100 | paulson | more on infinite products. Also subgroup_imp_subset -> subgroup.subset | file | diff | annotate |
| 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 | file | diff | annotate |
| Tue, 12 Jun 2018 16:08:57 +0100 | paulson | New material from Martin Baillon and Paulo EmÃlio de Vilhena | file | diff | annotate |