isabelle: Changelog

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

mengj [Tue, 06 Dec 2005 06:22:14 +0100] rev 18357

Added more functions for new type embedding of HOL clauses.

mengj [Tue, 06 Dec 2005 06:21:07 +0100] rev 18356

Added new type embedding methods for translating HOL clauses.

urbanc [Mon, 05 Dec 2005 18:19:49 +0100] rev 18355

added code to say that discrete types (nat, bool, char) are instances of cp_*_*.

urbanc [Mon, 05 Dec 2005 17:02:20 +0100] rev 18354

tuned

isabelle