Tue, 30 Nov 2010 00:12:29 +0100 | boehmes | merged | changeset | files |
Mon, 29 Nov 2010 23:41:09 +0100 | boehmes | also support higher-order rules for Z3 proof reconstruction | changeset | files |
Mon, 29 Nov 2010 16:10:44 +0100 | wenzelm | merged | changeset | files |