| Thu, 05 Jan 2006 22:29:57 +0100 | wenzelm | store_thm: transfer to current context, i.e. the target theory; | changeset | files |
| Thu, 05 Jan 2006 22:29:55 +0100 | wenzelm | replaced swap by contrapos_np; | changeset | files |
| Thu, 05 Jan 2006 22:29:53 +0100 | wenzelm | added setminus; | changeset | files |
| Thu, 05 Jan 2006 17:16:40 +0100 | wenzelm | proper handling of simultaneous goals and mutual rules; | changeset | files |