| Mon, 01 Oct 2007 19:42:40 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 01 Oct 2007 19:21:32 +0200 | haftmann | added some lemmas | changeset | files |
| Mon, 01 Oct 2007 15:14:57 +0200 | wenzelm | print_state_context: local theory context, not proof context; | changeset | files |
| Mon, 01 Oct 2007 15:14:56 +0200 | wenzelm | ContextPosition.put_ctxt; | changeset | files |