Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
Sun, 27 Dec 2015 16:20:02 +0100 | wenzelm | tuned document; | file | diff | annotate |
Sun, 27 Dec 2015 16:00:41 +0100 | wenzelm | more proofs; | file | diff | annotate |