isabelle: Changelog

haftmann [Wed, 13 Dec 2006 15:45:30 +0100] rev 21819

fixed syntax for bounded quantification

haftmann [Wed, 13 Dec 2006 15:45:29 +0100] rev 21818

dropped superfluous header

krauss [Wed, 13 Dec 2006 14:56:50 +0100] rev 21817

clarified error message

krauss [Wed, 13 Dec 2006 14:54:07 +0100] rev 21816

nat type now has a size functin => no longer needed as special case

krauss [Wed, 13 Dec 2006 14:52:50 +0100] rev 21815

simplified

wenzelm [Wed, 13 Dec 2006 14:52:30 +0100] rev 21814

local_abbrev: proper fix/declare of local entities;

paulson [Wed, 13 Dec 2006 12:42:26 +0100] rev 21813

Deleted the unused type argument of UVar

wenzelm [Wed, 13 Dec 2006 12:10:54 +0100] rev 21812

tuned comments;

krauss [Wed, 13 Dec 2006 12:07:43 +0100] rev 21811

added IsarAdvanced/Functions

huffman [Wed, 13 Dec 2006 00:07:13 +0100] rev 21810

generalized some lemmas; removed redundant lemmas; cleaned up some proofs

isabelle