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 |