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
bulwahn [Wed, 10 Oct 2012 10:47:43 +0200] rev 49764
moving simproc from Finite_Set to more appropriate Product_Type theory
bulwahn [Wed, 10 Oct 2012 10:47:21 +0200] rev 49763
generalizing set_comprehension_pointfree simproc to work for arbitrary predicates (and not just the finite predicate)