| 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 |
| Mon, 22 Nov 2010 10:41:57 +0100 | bulwahn | adding dummy definition for Code_Evaluation.Abs and hiding constants App less strict | file | diff | annotate |
| Mon, 20 Sep 2010 18:43:23 +0200 | haftmann | dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term | file | diff | annotate |
| Mon, 20 Sep 2010 15:10:21 +0200 | haftmann | Factored out ML into separate file | file | diff | annotate |