zrho/afp — pull request #122 by jvoigtlaender (2014-03-16 19:40:46+00:00)
Title: semantic fix

The "case to if-then-else" transform in https://github.com/zrho/afp/commit/a6a3553383d5b7f39dd55d8befe1a1ecedc6d3c5#diff-b30c248e1c667d1faa51b7e6ab5de992L129 was not semantics-preserving.