Mon, 28 Jun 1999 21:48:36 +0200 |
wenzelm |
cond_extern_table;
|
changeset |
files
|
Mon, 28 Jun 1999 21:47:55 +0200 |
wenzelm |
added presume command;
|
changeset |
files
|
Mon, 28 Jun 1999 21:47:04 +0200 |
wenzelm |
cond_extern_table;
|
changeset |
files
|
Mon, 28 Jun 1999 21:46:33 +0200 |
wenzelm |
tuned print_state;
|
changeset |
files
|
Mon, 28 Jun 1999 21:44:19 +0200 |
wenzelm |
tuned output: print_context replaced by strings_of_context;
|
changeset |
files
|
Mon, 28 Jun 1999 21:41:02 +0200 |
wenzelm |
cond_extern_table;
|
changeset |
files
|
Mon, 28 Jun 1999 21:38:50 +0200 |
wenzelm |
added cond_extern_table;
|
changeset |
files
|
Fri, 25 Jun 1999 13:37:51 +0200 |
wenzelm |
branching_level = 400;
|
changeset |
files
|
Wed, 23 Jun 1999 10:40:13 +0200 |
paulson |
tidied
|
changeset |
files
|
Wed, 23 Jun 1999 10:39:35 +0200 |
paulson |
renamed PPI to plam
|
changeset |
files
|
Wed, 23 Jun 1999 10:38:49 +0200 |
paulson |
renamed PPI to plam
|
changeset |
files
|
Wed, 23 Jun 1999 10:38:09 +0200 |
paulson |
another non-working snapshot
|
changeset |
files
|
Wed, 23 Jun 1999 10:37:29 +0200 |
paulson |
new distributive laws involving * and -
|
changeset |
files
|
Wed, 23 Jun 1999 10:36:59 +0200 |
paulson |
rewrite rules to distribute CONSTANT multiplication over sum and difference;
|
changeset |
files
|
Thu, 17 Jun 1999 10:43:05 +0200 |
paulson |
another snapshot, still not working
|
changeset |
files
|