isabelle: Changelog

nipkow [Mon, 09 Oct 2006 12:20:39 +0200] rev 20921

added delayed_if

nipkow [Mon, 09 Oct 2006 12:16:29 +0200] rev 20920

added pre/post-processor equations

wenzelm [Mon, 09 Oct 2006 12:08:33 +0200] rev 20919

attribute "symmetric": standardized schematic variables;

wenzelm [Mon, 09 Oct 2006 02:20:11 +0200] rev 20918

sequential lemmas;

wenzelm [Mon, 09 Oct 2006 02:20:10 +0200] rev 20917

reorderd ML/lemmas (Why!?);

wenzelm [Mon, 09 Oct 2006 02:20:09 +0200] rev 20916

PureThy.note_thmss_i;

wenzelm [Mon, 09 Oct 2006 02:20:08 +0200] rev 20915

added exit; notes: simplified locale target;

wenzelm [Mon, 09 Oct 2006 02:20:07 +0200] rev 20914

added theorems(_i) -- with present_results;

wenzelm [Mon, 09 Oct 2006 02:20:06 +0200] rev 20913

def(_i): LocalDefs.add_defs; removed Drule.strip_shyps_warning;

wenzelm [Mon, 09 Oct 2006 02:20:05 +0200] rev 20912

attribute: Context.mapping; removed Drule.strip_shyps_warning;

isabelle