isabelle: Changelog

wenzelm [Wed, 02 Nov 2005 14:46:53 +0100] rev 18058

fromConst: use Sign.const_typargs for efficient representation of type instances of constant declarations;

wenzelm [Wed, 02 Nov 2005 14:46:51 +0100] rev 18057

dist_eqI: the_context();

wenzelm [Wed, 02 Nov 2005 14:46:49 +0100] rev 18056

Sign.const_monomorphic;

wenzelm [Wed, 02 Nov 2005 14:46:47 +0100] rev 18055

Logic.nth_prem;

urbanc [Wed, 02 Nov 2005 11:02:29 +0100] rev 18054

added the collection of lemmas "supp_at"

urbanc [Tue, 01 Nov 2005 23:55:53 +0100] rev 18053

some minor tweaks in some proofs (nothing extraordinary)

urbanc [Tue, 01 Nov 2005 23:54:29 +0100] rev 18052

tunings of some comments (nothing serious)

haftmann [Mon, 31 Oct 2005 16:35:15 +0100] rev 18051

nth_*, fold_index refined

haftmann [Mon, 31 Oct 2005 16:00:15 +0100] rev 18050

fold_index replacing foldln

nipkow [Mon, 31 Oct 2005 01:43:22 +0100] rev 18049

A few new lemmas

isabelle