Wed, 11 Apr 2018 16:34:52 +0100 merged
paulson [Wed, 11 Apr 2018 16:34:52 +0100] rev 67975
merged
Wed, 11 Apr 2018 16:34:44 +0100 replacement of set integral abbreviations by actual definitions!
paulson <lp15@cam.ac.uk> [Wed, 11 Apr 2018 16:34:44 +0100] rev 67974
replacement of set integral abbreviations by actual definitions!
Fri, 13 Apr 2018 17:25:02 +0200 added lemma
nipkow [Fri, 13 Apr 2018 17:25:02 +0200] rev 67973
added lemma
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip