| Thu, 02 Dec 2010 16:39:15 +0100 | haftmann | merged | changeset | files |
| Thu, 02 Dec 2010 16:39:07 +0100 | haftmann | adapted expected value to more idiomatic numeral representation | changeset | files |
| Thu, 02 Dec 2010 14:34:38 +0100 | haftmann | corrected representation for code_numeral numerals | changeset | files |
| Thu, 02 Dec 2010 13:53:36 +0100 | haftmann | separate term_of function for integers -- more canonical representation of negative integers | changeset | files |