| 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 |
| Mon, 01 Oct 2007 15:14:55 +0200 | wenzelm | NameSelection: more interval checks; | changeset | files |
| Mon, 01 Oct 2007 15:14:54 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 01 Oct 2007 15:14:53 +0200 | wenzelm | turned into generic context data; | changeset | files |
| Mon, 01 Oct 2007 15:14:51 +0200 | wenzelm | ML_setup for bind_thms; | changeset | files |