| 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 |