| Wed, 12 May 2010 23:53:54 +0200 | boehmes | normalize numerals: also rewrite Numeral0 into 0 | changeset | files |
| Wed, 12 May 2010 23:53:53 +0200 | boehmes | added missing rewrite rules for natural min and max | changeset | files |
| Wed, 12 May 2010 23:53:52 +0200 | boehmes | rewrite bool case expressions as if expression | changeset | files |