| Tue, 09 Apr 2013 12:56:26 +0200 | wenzelm | just one syntax category "mixfix" -- check structure annotation semantically; | file | diff | annotate |
| Sun, 30 Dec 2012 16:23:30 +0100 | wenzelm | uniform notation for == and \<equiv> (cf. 3e3c2af5e8a5); | file | diff | annotate |