Wed, 10 Apr 2019 21:29:32 +0100 | paulson | Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context | file | diff | annotate |
Tue, 09 Apr 2019 21:05:32 +0100 | paulson | More homology material | file | diff | annotate |
Tue, 09 Apr 2019 15:30:58 +0100 | paulson | new Homology target, depending on HOL-Algebra and HOL-Analysis | file | diff | annotate |