| Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | file | diff | annotate |
| Mon, 27 Nov 2006 14:05:43 +0100 | urbanc | adapted function definitions to new syntax | file | diff | annotate |
| Mon, 23 Oct 2006 00:51:16 +0200 | berghofe | Adapted to changes in FCBs. | file | diff | annotate |
| Wed, 18 Oct 2006 23:15:16 +0200 | urbanc | cleaning up | file | diff | annotate |
| Fri, 18 Aug 2006 18:46:02 +0200 | urbanc | modified to use the characteristic equations | file | diff | annotate |
| 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 |