Fri, 15 Feb 2002 20:42:00 +0100 | wenzelm | moved copy_all to Thy/present.ML; | changeset | files |
Fri, 15 Feb 2002 20:41:39 +0100 | wenzelm | replaced nodups by distinct; | changeset | files |
Fri, 15 Feb 2002 20:41:19 +0100 | wenzelm | tuned; | changeset | files |