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 |
Thu, 14 Jul 1994 11:37:08 +0200 | wenzelm | changed syntax "(| _ : _ |)" to "OFCLASS(_, _)"; | changeset | files |