Tue, 23 Nov 2004 17:47:37 +0100 HTML conformity
webertj [Tue, 23 Nov 2004 17:47:37 +0100] rev 15317
HTML conformity
Tue, 23 Nov 2004 16:43:03 +0100 renamed 1 lemmas
nipkow [Tue, 23 Nov 2004 16:43:03 +0100] rev 15316
renamed 1 lemmas
Tue, 23 Nov 2004 16:42:54 +0100 renamed 2 lemmas
nipkow [Tue, 23 Nov 2004 16:42:54 +0100] rev 15315
renamed 2 lemmas
Tue, 23 Nov 2004 15:50:27 +0100 relaxed type constraints of lemmas: setsum_nonneg, setsum_nonpos, setsum_negf, setsum_Un_ring
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
Tue, 23 Nov 2004 15:36:39 +0100 external solvers may now overwrite existing temporary files
webertj [Tue, 23 Nov 2004 15:36:39 +0100] rev 15313
external solvers may now overwrite existing temporary files
Tue, 23 Nov 2004 15:32:11 +0100 added lemma
nipkow [Tue, 23 Nov 2004 15:32:11 +0100] rev 15312
added lemma
Tue, 23 Nov 2004 15:25:39 +0100 Added lemmas setsum_mono, finite_setsum_diff1, finite_setsum_diff
obua [Tue, 23 Nov 2004 15:25:39 +0100] rev 15311
Added lemmas setsum_mono, finite_setsum_diff1, finite_setsum_diff
Tue, 23 Nov 2004 14:21:24 +0100 *** empty log message ***
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
Tue, 23 Nov 2004 08:58:32 +0100 added lemma
nipkow [Tue, 23 Nov 2004 08:58:32 +0100] rev 15308
added lemma
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip