| Thu, 26 May 2011 09:42:02 +0200 | bulwahn | extending terms of Code_Evaluation by Free to allow partial terms | file | diff | annotate |
| Thu, 02 Dec 2010 14:34:38 +0100 | haftmann | corrected representation for code_numeral numerals | file | diff | annotate |
| Thu, 02 Dec 2010 13:53:36 +0100 | haftmann | separate term_of function for integers -- more canonical representation of negative integers | file | diff | annotate |