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 |