isabelle: Changelog

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

berghofe [Mon, 05 Dec 2005 00:39:18 +0100] rev 18350

Adapted to new type of store_thmss(_atts).

berghofe [Mon, 05 Dec 2005 00:38:07 +0100] rev 18349

Added store_thmss_atts to signature again.

urbanc [Sun, 04 Dec 2005 12:40:39 +0100] rev 18348

tuned

isabelle