isabelle: Changelog

wenzelm [Thu, 08 Dec 2005 20:15:57 +0100] rev 18373

replaced swap by contrapos_np;

wenzelm [Thu, 08 Dec 2005 20:15:50 +0100] rev 18372

tuned proofs;

wenzelm [Thu, 08 Dec 2005 20:15:41 +0100] rev 18371

Cla.swap;

wenzelm [Thu, 08 Dec 2005 20:15:34 +0100] rev 18370

removed hint for Classical.swap, which is not really user-level anyway;

wenzelm [Thu, 08 Dec 2005 12:50:04 +0100] rev 18369

tuned sources and proofs

wenzelm [Thu, 08 Dec 2005 12:50:03 +0100] rev 18368

Classical.swap;

wenzelm [Thu, 08 Dec 2005 12:50:02 +0100] rev 18367

* HOL: Theorem 'swap' is no longer bound at the ML top-level.

berghofe [Thu, 08 Dec 2005 10:17:21 +0100] rev 18366

Adapted to new type of PureThy.add_defs_i.

wenzelm [Wed, 07 Dec 2005 16:47:04 +0100] rev 18365

replaced swap by Classical.swap;

wenzelm [Wed, 07 Dec 2005 15:23:22 +0100] rev 18364

avoid unportable tail;

isabelle