| Thu, 08 Nov 2018 09:11:52 +0100 | haftmann | removed relics of ASCII syntax for indexed big operators | file | diff | annotate |
| Thu, 28 Jun 2018 17:14:40 +0100 | paulson | Incorporating new/strengthened proofs from Library and AFP entries | file | diff | annotate |