Mon, 06 Oct 1997 19:13:29 +0200 | wenzelm | TODO: handle internal / external names; | changeset | files |
Mon, 06 Oct 1997 19:11:56 +0200 | wenzelm | now supports qualified names (intern vs. extern) !!! | changeset | files |
Mon, 06 Oct 1997 19:07:14 +0200 | wenzelm | eliminated raise_term, raise_typ; | changeset | files |