| Wed, 12 May 2010 23:53:55 +0200 | boehmes | move the addition of extra facts into a separate module | changeset | files |
| 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 |
| Wed, 12 May 2010 23:53:51 +0200 | boehmes | simplified normalize_rule and moved it further down in the code | changeset | files |
| Wed, 12 May 2010 23:53:50 +0200 | boehmes | merged addition of rules into one function | changeset | files |