| Sat, 30 Nov 2019 13:47:33 +0100 | Manuel Eberl | Split off new HOL-Complex_Analysis session from HOL-Analysis | file | diff | annotate |
| Tue, 26 Nov 2019 14:32:08 +0000 | paulson | Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis. | file | diff | annotate |
| Tue, 05 Nov 2019 12:00:23 +0000 | paulson | Merge and get rid of closed_segmentI | file | diff | annotate |
| Mon, 04 Nov 2019 17:06:18 +0000 | paulson | Moved or deleted some out of place material, also eliminating obsolete naming conventions | file | diff | annotate |
| Sat, 02 Nov 2019 15:52:47 +0000 | paulson | reorganisation to eliminate Brouwer_Fixpoint from complex analysis | file | diff | annotate |
| Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
| Mon, 16 Sep 2019 17:03:13 +0100 | paulson | A little-known material, and some tidying up | file | diff | annotate |