| Fri, 13 Jan 2006 01:13:05 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Jan 2006 01:13:03 +0100 | wenzelm | generic_setup: optional argument, defaults to Context.setup(); | changeset | files |
| Fri, 13 Jan 2006 01:13:02 +0100 | wenzelm | added map_theory, map_proof; | changeset | files |
| Fri, 13 Jan 2006 01:13:00 +0100 | wenzelm | removed obsolete sign_of; | changeset | files |
| Fri, 13 Jan 2006 01:12:59 +0100 | wenzelm | implicit setup, which admits exception_trace; | changeset | files |
| Fri, 13 Jan 2006 01:12:58 +0100 | wenzelm | ProofContext.def_export; | changeset | files |
| Wed, 11 Jan 2006 18:46:31 +0100 | urbanc | updated to new induction principle | changeset | files |