| 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 |
| Wed, 28 Aug 2019 00:08:14 +0200 | immler | removed Brouwer_Fixpoint from imports of Derivative | file | diff | annotate |