isabelle: Changelog

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

urbanc [Mon, 05 Dec 2005 15:55:19 +0100] rev 18353

transitivity should be now in a reasonable state. But Markus has to have a look at some of the advanced features.

urbanc [Mon, 05 Dec 2005 10:33:30 +0100] rev 18352

tuned

urbanc [Mon, 05 Dec 2005 10:32:37 +0100] rev 18351

ISAR-fied two proofs

isabelle