isabelle: Changelog

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

huffman [Wed, 13 Dec 2006 00:02:53 +0100] rev 21809

remove uses of scaleR infix syntax; add lemma Reals_number_of

wenzelm [Tue, 12 Dec 2006 21:25:14 +0100] rev 21808

tuned;

wenzelm [Tue, 12 Dec 2006 21:25:13 +0100] rev 21807

add_abbrev: removed Assumption.add_assms (danger of inconsistent naming);

wenzelm [Tue, 12 Dec 2006 20:50:23 +0100] rev 21806

updated;

wenzelm [Tue, 12 Dec 2006 20:49:32 +0100] rev 21805

simplified unlocalize_mixfix;

isabelle