Thu, 22 Nov 2001 17:12:08 +0100 renamed "fields" to "flds" (avoid clash with new "fields" operation);
wenzelm [Thu, 22 Nov 2001 17:12:08 +0100] rev 12264
renamed "fields" to "flds" (avoid clash with new "fields" operation);
Wed, 21 Nov 2001 20:20:18 +0100 locale expressions;
wenzelm [Wed, 21 Nov 2001 20:20:18 +0100] rev 12263
locale expressions;
Wed, 21 Nov 2001 00:36:51 +0100 use tracing function for trace output;
wenzelm [Wed, 21 Nov 2001 00:36:51 +0100] rev 12262
use tracing function for trace output;
Wed, 21 Nov 2001 00:35:13 +0100 tracing_fn;
wenzelm [Wed, 21 Nov 2001 00:35:13 +0100] rev 12261
tracing_fn;
Wed, 21 Nov 2001 00:34:38 +0100 added tracing, tracing_fn;
wenzelm [Wed, 21 Nov 2001 00:34:38 +0100] rev 12260
added tracing, tracing_fn;
Wed, 21 Nov 2001 00:34:06 +0100 Set.vimage;
wenzelm [Wed, 21 Nov 2001 00:34:06 +0100] rev 12259
Set.vimage;
Wed, 21 Nov 2001 00:33:40 +0100 got rid of theory Inverse_Image;
wenzelm [Wed, 21 Nov 2001 00:33:40 +0100] rev 12258
got rid of theory Inverse_Image;
Wed, 21 Nov 2001 00:33:04 +0100 theory Inverse_Image converted and moved to Set;
wenzelm [Wed, 21 Nov 2001 00:33:04 +0100] rev 12257
theory Inverse_Image converted and moved to Set;
Wed, 21 Nov 2001 00:32:10 +0100 tuned;
wenzelm [Wed, 21 Nov 2001 00:32:10 +0100] rev 12256
tuned;
Tue, 20 Nov 2001 22:54:06 +0100 tuned;
wenzelm [Tue, 20 Nov 2001 22:54:06 +0100] rev 12255
tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip