Wed, 10 Apr 2019 13:34:55 +0100 | paulson | The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale | file | diff | annotate |
Mon, 08 Apr 2019 15:26:54 +0100 | paulson | First tranche of the Homology development: Simplices | file | diff | annotate |
Mon, 01 Apr 2019 17:02:43 +0100 | paulson | A few results in Algebra, and bits for Analysis | file | diff | annotate |
Wed, 27 Mar 2019 14:08:26 +0000 | paulson | more stuff from HOL Light: Euclidean spaces and n-spheres, Hausdorff spaces, etc. | file | diff | annotate |