diff options
| author |  sboehme <unknown> | 2010-07-20 02:18:57 +0000 |
|---|---|---|
| committer | sboehme <unknown> | 2010-07-20 02:18:57 +0000 |
| commit | bb7d3c1e54644aca07d0ced7f0016c9fe86b4748 (patch) | |
| tree | 7e471ccc406dc42fa72fffc17a4af1799badf759 /Chalice | |
| parent | 21f3ed8dbd82da63302feafc72f3504499998569 (diff) | |
Boogie/Isabelle: implemented missing translation of if-then-else expressions
Diffstat (limited to 'Chalice')
0 files changed, 0 insertions, 0 deletions