Sat, 23 May 2020 21:24:33 +0100 | paulson | a few new lemmas about functions | file | diff | annotate |
Wed, 04 Dec 2019 12:44:38 +0000 | paulson | two new theorems | file | diff | annotate |
Tue, 12 Nov 2019 12:33:05 +0000 | paulson | New library material from the AFP entry ZFC_in_HOL | file | diff | annotate |
Thu, 07 Mar 2019 14:08:05 +0000 | paulson | new material for Analysis | file | diff | annotate |
Thu, 24 Jan 2019 14:44:52 +0000 | paulson | the theory of Equipollence, and moving Fpow from Cardinals into Main | file | diff | annotate |