| Tue, 22 Jan 2019 12:00:16 +0000 | paulson | renamings and new material | file | diff | annotate |
| Tue, 11 Sep 2018 16:21:54 +0100 | paulson | A few new results, elimination of duplicates and more use of "pairwise" | file | diff | annotate |
| Mon, 09 Jul 2018 21:55:40 +0100 | paulson | removal of smt and certain refinements | file | diff | annotate |
| Tue, 03 Jul 2018 11:00:37 +0200 | wenzelm | more standard headers; | file | diff | annotate |
| Tue, 26 Jun 2018 20:48:49 +0100 | paulson | a few new lemmas | 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 |