Thu, 15 Sep 2005 17:17:05 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | changeset | files |
Thu, 15 Sep 2005 17:17:04 +0200 | wenzelm | fixed type; | changeset | files |
Thu, 15 Sep 2005 17:17:03 +0200 | wenzelm | fixed ML; | changeset | files |