| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | changeset | files |
| Wed, 28 Nov 2001 00:44:37 +0100 | wenzelm | data: removed obsolete finish method; | changeset | files |
| Wed, 28 Nov 2001 00:43:50 +0100 | wenzelm | name space for local thms (export cond_extern, qualified); | changeset | files |
| Wed, 28 Nov 2001 00:42:35 +0100 | wenzelm | print_state: up to 7 result names; | changeset | files |
| Wed, 28 Nov 2001 00:42:04 +0100 | wenzelm | qualify imported facts; | changeset | files |
| Wed, 28 Nov 2001 00:39:33 +0100 | wenzelm | variant: preserve suffix of underscores (for skolem/internal names etc.); | changeset | files |
| Wed, 28 Nov 2001 00:38:11 +0100 | wenzelm | join_rules RuleCases.save; | changeset | files |
| Wed, 28 Nov 2001 00:37:40 +0100 | wenzelm | tuned declarations; | changeset | files |