Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
Fri, 25 Jan 2019 02:38:26 +0000 | Angeliki KoutsoukouArgyraki | tagged 4 theories | file | diff | annotate |
Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
Sun, 21 Oct 2018 23:02:52 +0100 | Angeliki KoutsoukouArgyraki | tagged 8 theories for the Analysis manual. | file | diff | annotate |
Fri, 13 Jul 2018 18:27:18 +0100 | Manuel Eberl | HOL-Analysis: Volume of a simplex, Heron's theorem | file | diff | annotate |