| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Tue, 07 Aug 2007 15:04:35 +0200 | wenzelm | added more instances; | file | diff | annotate |
| Mon, 06 Aug 2007 19:59:07 +0200 | wenzelm | added more instances; | file | diff | annotate |
| Mon, 06 Aug 2007 19:35:43 +0200 | wenzelm | Overloading in SML/NJ. | file | diff | annotate |