| Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed relics of ASCII syntax for indexed big operators | file | diff | annotate |
| Fri, 05 Apr 2019 15:02:46 +0100 | paulson | Free_Abelian_Groups finally working; fixed some duplicates; cleaned up some proofs | file | diff | annotate |
| Mon, 01 Apr 2019 17:02:43 +0100 | paulson | A few results in Algebra, and bits for Analysis | file | diff | annotate |
| Thu, 07 Mar 2019 16:59:12 +0000 | paulson | renamed the constant "limit" as it is too "generic" | file | diff | annotate |
| Thu, 07 Mar 2019 14:08:05 +0000 | paulson | new material for Analysis | file | diff | annotate |