| Fri, 15 Jul 1994 12:24:05 +0200 | clasohm | added function mapst | changeset | files |
| Thu, 14 Jul 1994 11:39:25 +0200 | wenzelm | added functor signature constraint; | changeset | files |
| Thu, 14 Jul 1994 11:38:24 +0200 | wenzelm | minor internal renamings; | changeset | files |