| Mon, 18 Oct 1999 19:43:18 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Oct 1999 18:38:21 +0200 | wenzelm | update by Stephan Merz; | changeset | files |
| Mon, 18 Oct 1999 16:16:03 +0200 | paulson | exchanged the first two args of "project" and "drop_prog" | changeset | files |
| Mon, 18 Oct 1999 15:20:21 +0200 | paulson | fixed comments | changeset | files |
| Mon, 18 Oct 1999 15:18:24 +0200 | paulson | working version with localTo[C] instead of localTo | changeset | files |
| Mon, 18 Oct 1999 15:17:35 +0200 | paulson | new thm disjoint_iff_not_equal | changeset | files |
| Mon, 18 Oct 1999 15:16:10 +0200 | paulson | new thm vimage_image_eq | changeset | files |