| Tue, 14 Oct 2014 10:52:46 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
| Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |