| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:35 +0200 | wenzelm | compression of terms and types by sharing common subtrees; | file | diff | annotate |