isabelle: Changelog

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;

urbanc [Wed, 07 Dec 2005 12:33:38 +0100] rev 18363

tuned

haftmann [Tue, 06 Dec 2005 17:26:26 +0100] rev 18362

removed thms 'swap' and 'nth_map' from ML toplevel

haftmann [Tue, 06 Dec 2005 17:11:40 +0100] rev 18361

improved serialization of classes to haskell

haftmann [Tue, 06 Dec 2005 16:07:25 +0100] rev 18360

improved class handling

haftmann [Tue, 06 Dec 2005 16:07:10 +0100] rev 18359

added 'dig' combinator

haftmann [Tue, 06 Dec 2005 09:04:09 +0100] rev 18358

re-oriented some result tuples in PureThy

isabelle