| Mon, 01 Dec 2014 15:21:49 +0100 | wenzelm | more merge operations; | file | diff | annotate |
| Sat, 26 Apr 2014 13:18:46 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Fri, 14 Feb 2014 14:39:44 +0100 | wenzelm | more integrity checks of theory names vs. full node names; | file | diff | annotate |
| Mon, 12 Aug 2013 13:30:54 +0200 | wenzelm | support for maps with multiple entries per key; | file | diff | annotate |