isabelle: Changelog

nipkow [Tue, 23 Nov 2004 16:42:54 +0100] rev 15315

renamed 2 lemmas

obua [Tue, 23 Nov 2004 15:50:27 +0100] rev 15314

relaxed type constraints of lemmas: setsum_nonneg, setsum_nonpos, setsum_negf, setsum_Un_ring

webertj [Tue, 23 Nov 2004 15:36:39 +0100] rev 15313

external solvers may now overwrite existing temporary files

nipkow [Tue, 23 Nov 2004 15:32:11 +0100] rev 15312

added lemma

obua [Tue, 23 Nov 2004 15:25:39 +0100] rev 15311

Added lemmas setsum_mono, finite_setsum_diff1, finite_setsum_diff

nipkow [Tue, 23 Nov 2004 14:21:24 +0100] rev 15310

*** empty log message ***

Tue, 23 Nov 2004 09:08:35 +0100 generalized lemma

nipkow [Tue, 23 Nov 2004 09:08:35 +0100] rev 15309

generalized lemma

nipkow [Tue, 23 Nov 2004 08:58:32 +0100] rev 15308

added lemma

paulson [Mon, 22 Nov 2004 13:52:27 +0100] rev 15307

indentation

nipkow [Mon, 22 Nov 2004 11:54:08 +0100] rev 15306

fixed proof

isabelle