isabelle: Changelog

haftmann [Thu, 04 Jun 2009 15:28:58 +0200] rev 31453

lemmas about basic set operations and Finite_Set.fold

nipkow [Fri, 05 Jun 2009 09:54:47 +0200] rev 31452

merged

nipkow [Fri, 05 Jun 2009 09:54:26 +0200] rev 31451

new lemma

huffman [Fri, 05 Jun 2009 00:29:29 -0700] rev 31450

merged

huffman [Fri, 05 Jun 2009 00:24:47 -0700] rev 31449

fix type of hnorm

huffman [Thu, 04 Jun 2009 17:28:31 -0700] rev 31448

define netlimit in terms of eventually

huffman [Thu, 04 Jun 2009 17:24:09 -0700] rev 31447

generalize type of 'at' to topological_space; generalize some lemmas

huffman [Thu, 04 Jun 2009 16:11:36 -0700] rev 31446

add extra type constraints for dist, norm

huffman [Thu, 04 Jun 2009 14:32:00 -0700] rev 31445

generalize norm method to work over class real_normed_vector

wenzelm [Thu, 04 Jun 2009 23:42:11 +0200] rev 31444

example settings for Poly/ML 5.3 (experimental);

isabelle