hoelzl [Wed, 10 Oct 2012 12:12:16 +0200] rev 49774
use continuity to show Borel-measurability
hoelzl [Wed, 10 Oct 2012 12:12:15 +0200] rev 49773
tuned measurable_If; moved countably_additive equalities to Measure_Space; tuned proofs
hoelzl [Wed, 10 Oct 2012 12:12:14 +0200] rev 49772
rename terminal_events to tail_event
Andreas Lochbihler [Wed, 10 Oct 2012 13:04:15 +0200] rev 49771
merged
Andreas Lochbihler [Wed, 10 Oct 2012 13:03:50 +0200] rev 49770
efficient construction of red black trees from sorted associative lists
haftmann [Wed, 10 Oct 2012 12:52:24 +0200] rev 49769
more explicit code equations
bulwahn [Wed, 10 Oct 2012 10:48:55 +0200] rev 49768
adding necessary syntactic functions in set_comprehension_pointfree simproc as a first step to integrate an improved simproc
bulwahn [Wed, 10 Oct 2012 10:48:33 +0200] rev 49767
special code setup for step function in IMP is redundant as definition was tuned (cf. c54d901d2946)
bulwahn [Wed, 10 Oct 2012 10:48:17 +0200] rev 49766
test case for set_comprehension_pointfree simproc succeeds now
bulwahn [Wed, 10 Oct 2012 10:47:52 +0200] rev 49765
unfolding bounded existential quantifiers as first step in the set_comprehension_pointfree simproc