isabelle: Changelog

wenzelm [Mon, 01 Oct 2007 19:43:34 +0200] rev 24798

updated year to 2007;

wenzelm [Mon, 01 Oct 2007 19:42:40 +0200] rev 24797

tuned;

haftmann [Mon, 01 Oct 2007 19:21:32 +0200] rev 24796

added some lemmas

wenzelm [Mon, 01 Oct 2007 15:14:57 +0200] rev 24795

print_state_context: local theory context, not proof context; context_position: cover Theory case as well (requires additional checkpoint);

wenzelm [Mon, 01 Oct 2007 15:14:56 +0200] rev 24794

ContextPosition.put_ctxt;

wenzelm [Mon, 01 Oct 2007 15:14:55 +0200] rev 24793

NameSelection: more interval checks;

wenzelm [Mon, 01 Oct 2007 15:14:54 +0200] rev 24792

tuned message;

wenzelm [Mon, 01 Oct 2007 15:14:53 +0200] rev 24791

turned into generic context data;

wenzelm [Mon, 01 Oct 2007 15:14:51 +0200] rev 24790

ML_setup for bind_thms;

ballarin [Mon, 01 Oct 2007 12:25:04 +0200] rev 24789

Simplified interface for printing of interpretations.

isabelle