Mon, 06 Oct 1997 19:15:22 +0200 | wenzelm | eliminated raise_term; | changeset | files |
Mon, 06 Oct 1997 19:15:02 +0200 | wenzelm | eliminated raise_term, raise_typ; | changeset | files |
Mon, 06 Oct 1997 19:13:55 +0200 | wenzelm | add_arities_i; | changeset | files |
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 |
Mon, 06 Oct 1997 18:59:49 +0200 | wenzelm | tuned read_cterms; | changeset | files |