| 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 |