| Sun, 22 Feb 2009 18:02:21 +0100 | haftmann | clarified status of variables in evaluation terms; tuned header | file | diff | annotate |
| Sun, 22 Feb 2009 17:32:55 +0100 | haftmann | more liberality needed | file | diff | annotate |
| Sun, 22 Feb 2009 16:48:11 +0100 | haftmann | simplified evaluation | file | diff | annotate |
| Sun, 22 Feb 2009 10:22:30 +0100 | haftmann | first attempt to solve evaluation bootstrap problem | file | diff | annotate |
| Fri, 20 Feb 2009 21:29:24 +0100 | haftmann | also consider superclasses properly | file | diff | annotate |
| Fri, 20 Feb 2009 18:29:11 +0100 | haftmann | consequent use of term `code equation` | file | diff | annotate |
| Fri, 20 Feb 2009 10:14:32 +0100 | haftmann | tuned and incremental version of wellsorting algorithm | file | diff | annotate |