isabelle: Changelog

webertj [Wed, 22 Mar 2006 14:06:29 +0100] rev 19318

comment fixed

paulson [Wed, 22 Mar 2006 12:33:44 +0100] rev 19317

Introduction of "whitelist": theorems forced past the relevance filter

paulson [Wed, 22 Mar 2006 12:32:44 +0100] rev 19316

Slight simplification of proofs

paulson [Wed, 22 Mar 2006 12:30:29 +0100] rev 19315

Removal of obsolete strategies. Initial support for locales: Frees and Consts treated similarly.

webertj [Wed, 22 Mar 2006 11:54:54 +0100] rev 19314

comment for conjI added

nipkow [Wed, 22 Mar 2006 11:14:58 +0100] rev 19313

translations -> abbreviations (a cool feature)

wenzelm [Tue, 21 Mar 2006 15:38:53 +0100] rev 19312

fixed example;

wenzelm [Tue, 21 Mar 2006 12:18:22 +0100] rev 19311

mark_boundT: produce well-typed term;

wenzelm [Tue, 21 Mar 2006 12:18:21 +0100] rev 19310

subtract (op =); pretty_proof: no abbrevs;

wenzelm [Tue, 21 Mar 2006 12:18:20 +0100] rev 19309

avoid polymorphic equality; tuned;

isabelle