isabelle: Changelog

haftmann [Wed, 05 May 2010 09:24:41 +0200] rev 36673

tuned whitespace

haftmann [Wed, 05 May 2010 08:57:23 +0200] rev 36672

tuned interpunctation, dropped dead comment

huffman [Tue, 04 May 2010 21:04:04 -0700] rev 36671

merged

huffman [Tue, 04 May 2010 21:03:50 -0700] rev 36670

avoid using '...' with LIMSEQ (cf. 1cc4ab4b7ff7)

huffman [Tue, 04 May 2010 19:53:57 -0700] rev 36669

generalize some lemmas to class t1_space

huffman [Tue, 04 May 2010 19:23:59 -0700] rev 36668

simplify definition of t1_space; generalize lemma closed_sing and related lemmas

huffman [Tue, 04 May 2010 18:55:18 -0700] rev 36667

generalize some lemmas

huffman [Tue, 04 May 2010 17:37:31 -0700] rev 36666

convert comments to 'text' blocks

huffman [Tue, 04 May 2010 15:44:42 -0700] rev 36665

generalize more lemmas about limits

krauss [Wed, 05 May 2010 00:59:59 +0200] rev 36664

repaired comments where SOMEthing went utterly wrong (cf. 2b04504fcb69)

isabelle