| Tue, 19 Apr 2011 15:58:05 +0200 | wenzelm | slightly more special eq_list/eq_set, with shortcut involving pointer_eq; | changeset | files |
| Tue, 19 Apr 2011 14:57:09 +0200 | wenzelm | simplified check/uncheck interfaces: result comparison is hardwired by default; | changeset | files |
| Tue, 19 Apr 2011 10:50:54 +0200 | wenzelm | updated some theory primitives, which now depend on auxiliary context; | changeset | files |
| Tue, 19 Apr 2011 10:37:38 +0200 | wenzelm | more precise treatment of existing type inference parameters; | changeset | files |