| Mon, 06 Oct 1997 19:16:57 +0200 |
wenzelm |
"->" made syntax;
|
changeset |
files
|
| 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
|
| Mon, 06 Oct 1997 18:57:17 +0200 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
| Mon, 06 Oct 1997 18:43:32 +0200 |
wenzelm |
new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i
|
changeset |
files
|
| Mon, 06 Oct 1997 18:41:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 06 Oct 1997 18:41:09 +0200 |
wenzelm |
now uses new Sign.pretty_sort;
|
changeset |
files
|
| Mon, 06 Oct 1997 18:40:24 +0200 |
wenzelm |
eliminated raise_term, raise_typ;
|
changeset |
files
|
| Mon, 06 Oct 1997 18:39:54 +0200 |
wenzelm |
now uses Syntax.simple_str_of_sort;
|
changeset |
files
|
| Mon, 06 Oct 1997 18:39:25 +0200 |
wenzelm |
added simple_str_of_sort;
|
changeset |
files
|