isabelle: Changelog

wenzelm [Wed, 05 Mar 2008 21:33:59 +0100] rev 26202

explicit referencing of background facts;

wenzelm [Wed, 05 Mar 2008 21:24:07 +0100] rev 26201

indexing literal facts: exclude background context;

wenzelm [Wed, 05 Mar 2008 21:24:06 +0100] rev 26200

put_thms: do not index facts here (affects prems/this/calculation in particular);

wenzelm [Wed, 05 Mar 2008 21:24:03 +0100] rev 26199

explicit referencing of background facts;

wenzelm [Wed, 05 Mar 2008 14:34:39 +0100] rev 26198

HOL/Library/RBT.thy;

krauss [Wed, 05 Mar 2008 14:14:50 +0100] rev 26197

NEWS: RBTs, renamings in ZF

krauss [Wed, 05 Mar 2008 12:24:52 +0100] rev 26196

Use conversions instead of simplifier. tuned

urbanc [Tue, 04 Mar 2008 13:35:45 +0100] rev 26195

added new example

haftmann [Mon, 03 Mar 2008 15:37:16 +0100] rev 26194

tuned

haftmann [Mon, 03 Mar 2008 15:37:14 +0100] rev 26193

continued localization

isabelle