Thu, 12 Oct 2000 17:52:44 +0200 |
wenzelm |
tuned syms;
|
changeset |
files
|
Thu, 12 Oct 2000 17:48:47 +0200 |
wenzelm |
updated;
|
changeset |
files
|
Thu, 12 Oct 2000 17:48:06 +0200 |
wenzelm |
accomodate Poly/ML 4.0;
|
changeset |
files
|
Thu, 12 Oct 2000 17:47:32 +0200 |
wenzelm |
even smarter setup for several installations of Poly/ML 3.x and 4.0;
|
changeset |
files
|
Thu, 12 Oct 2000 17:39:47 +0200 |
wenzelm |
tuned syms;
|
changeset |
files
|
Thu, 12 Oct 2000 17:28:18 +0200 |
wenzelm |
removed nonsensical print statement;
|
changeset |
files
|
Thu, 12 Oct 2000 13:01:19 +0200 |
nipkow |
induct -> lfp_induct
|
changeset |
files
|
Thu, 12 Oct 2000 12:26:30 +0200 |
paulson |
tidied
|
changeset |
files
|
Thu, 12 Oct 2000 12:19:15 +0200 |
paulson |
new theorem and SD-rule zmod_eq_0_iff
|
changeset |
files
|
Thu, 12 Oct 2000 12:18:51 +0200 |
paulson |
delrules [r_into_rtrancl] required because the new I-rule made a step slow.
|
changeset |
files
|
Thu, 12 Oct 2000 12:16:58 +0200 |
paulson |
tidied
|
changeset |
files
|
Thu, 12 Oct 2000 12:16:22 +0200 |
paulson |
renamed ?Pa to ?Q in swap
|
changeset |
files
|