update choice figure to include equality test with Equiv
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 15:59:34 +0000 (16:59 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 15:59:34 +0000 (16:59 +0100)
commitbe5b558f00c76c7190c5647d2f6e3e42003035fb
tree9cbc88f82396d3350f0b1d25a73f7f46f688a070
parent0e8500ea330813277f7cbea455b1760a9dad83c1
update choice figure to include equality test with Equiv
choice-case.svg