update choice figure to include equality test with Equiv
[matthijs/master-project/dsd-paper.git] / choice-ifthenelse.svg
choice-ifthenelse.svg