isabelle: Changelog

berghofe [Wed, 24 Nov 2004 10:23:36 +0100] rev 15320

New theorem zpower_int

nipkow [Wed, 24 Nov 2004 08:43:41 +0100] rev 15319

*** empty log message ***

obua [Tue, 23 Nov 2004 18:58:59 +0100] rev 15318

prettier proof of setsum_diff

webertj [Tue, 23 Nov 2004 17:47:37 +0100] rev 15317

HTML conformity

nipkow [Tue, 23 Nov 2004 16:43:03 +0100] rev 15316

renamed 1 lemmas

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

isabelle