| Thu, 15 Sep 2016 15:48:37 +0100 | paulson | lots of new results about topology, affine dimension etc | file | diff | annotate |
| Mon, 08 Aug 2016 18:52:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 22 Jul 2016 11:00:43 +0200 | wenzelm | tuned proofs -- avoid unstructured calculation; | file | diff | annotate |
| Tue, 12 Jul 2016 20:03:18 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Tue, 12 Jul 2016 19:12:17 +0200 | wenzelm | more standard name; | file | diff | annotate | base |