Thu, 17 Aug 2006 20:31:36 +0200 | urbanc | used the recursion combinator for the height and substitution function | file | diff | annotate |
Thu, 01 Jun 2006 14:40:22 +0200 | urbanc | added an example suggested by D. Wang on the PoplMark-mailing list; | file | diff | annotate |