| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Sun, 02 Nov 2014 17:16:01 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sat, 23 Mar 2013 20:50:39 +0100 | haftmann | fundamental revision of big operators on sets | file | diff | annotate |
| Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
| Sun, 20 Nov 2011 21:07:06 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Tue, 29 Mar 2011 17:47:11 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Sat, 08 Jan 2011 11:18:09 -0800 | huffman | use proper syntactic types for 'syntax' commands | file | diff | annotate |