Sat, 06 Dec 1997 17:05:41 +0100 | nipkow | Got rid of some preds and replaced some n~=0 by 0<n. | changeset | files |
Sat, 06 Dec 1997 16:48:39 +0100 | nipkow | Cleaned up arithmetic mess. | changeset | files |
Fri, 05 Dec 1997 18:46:18 +0100 | wenzelm | instantiate'; | changeset | files |