| Wed, 21 Nov 2001 00:34:38 +0100 | wenzelm | added tracing, tracing_fn; | changeset | files |
| Wed, 21 Nov 2001 00:34:06 +0100 | wenzelm | Set.vimage; | changeset | files |
| Wed, 21 Nov 2001 00:33:40 +0100 | wenzelm | got rid of theory Inverse_Image; | changeset | files |
| Wed, 21 Nov 2001 00:33:04 +0100 | wenzelm | theory Inverse_Image converted and moved to Set; | changeset | files |
| Wed, 21 Nov 2001 00:32:10 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 20 Nov 2001 22:54:06 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 20 Nov 2001 22:53:50 +0100 | wenzelm | fixed links etc.; | changeset | files |