isabelle: Changelog

haftmann [Thu, 04 Jun 2009 15:28:59 +0200] rev 31456

insert now qualified and with authentic syntax

haftmann [Thu, 04 Jun 2009 15:28:59 +0200] rev 31455

lemma about List.foldl and Finite_Set.fold

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

dropped legacy ML bindings; tuned

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

isabelle