Mon, 07 Nov 2011 17:54:38 +0100 | boehmes | try different alternatives in discharging extra assumptions when schematic theorems obtained from lambda-lifting can be instantiated in different ways | changeset | files |
Mon, 07 Nov 2011 17:54:35 +0100 | boehmes | replace higher-order matching against schematic theorem with dedicated reconstruction method | changeset | files |
Mon, 07 Nov 2011 17:24:57 +0100 | wenzelm | merged | changeset | files |