wenzelm [Fri, 27 Jul 2007 16:31:14 +0200] rev 24001
exported datatype value;
added the_config;
removed put_generic_src -- moved value parsing to attrib.ML;
tuned;
chaieb [Fri, 27 Jul 2007 16:04:26 +0200] rev 24000
no 'nat' is needed for Bound in reification
haftmann [Fri, 27 Jul 2007 10:18:56 +0200] rev 23999
*** empty log message ***
haftmann [Fri, 27 Jul 2007 10:09:44 +0200] rev 23998
added cases
chaieb [Thu, 26 Jul 2007 21:51:37 +0200] rev 23997
Updated proofs;
chaieb [Thu, 26 Jul 2007 21:49:55 +0200] rev 23996
Updated reification : CX discontinued for CN
chaieb [Thu, 26 Jul 2007 21:49:53 +0200] rev 23995
Updated proofs; changed shadow syntax to improve (processing) time
chaieb [Thu, 26 Jul 2007 21:49:51 +0200] rev 23994
removed redundant ilcm_dvd1 ilcm_dvd2 zvdd_abs1
nipkow [Thu, 26 Jul 2007 21:48:01 +0200] rev 23993
fixed broken proof
wenzelm [Wed, 25 Jul 2007 22:20:54 +0200] rev 23992
updated;
wenzelm [Wed, 25 Jul 2007 22:20:53 +0200] rev 23991
renamed CRITICAL' to NAMED_CRITICAL;
tuned messages;
wenzelm [Wed, 25 Jul 2007 22:20:52 +0200] rev 23990
renamed CRITICAL' to NAMED_CRITICAL;
wenzelm [Wed, 25 Jul 2007 22:20:51 +0200] rev 23989
added command 'print_options';
wenzelm [Wed, 25 Jul 2007 22:20:50 +0200] rev 23988
added attribute "option" for setting configuration options;
wenzelm [Wed, 25 Jul 2007 22:20:49 +0200] rev 23987
Configuration options as values within the local context.
wenzelm [Wed, 25 Jul 2007 22:20:48 +0200] rev 23986
added config.ML;
wenzelm [Wed, 25 Jul 2007 22:20:47 +0200] rev 23985
NAMED_CRITICAL;
nipkow [Wed, 25 Jul 2007 18:10:49 +0200] rev 23984
fixed broken proof
nipkow [Wed, 25 Jul 2007 18:10:28 +0200] rev 23983
Added lemmas
wenzelm [Wed, 25 Jul 2007 17:05:50 +0200] rev 23982
require_thy/schedule: improved task graph, actually observe dependencies on running tasks;
wenzelm [Wed, 25 Jul 2007 17:05:49 +0200] rev 23981
added trace flag, official tracing operation;
added named CRITICAL';
schedule: tuned signature, actually observe dependencies on running tasks;
wenzelm [Wed, 25 Jul 2007 17:05:48 +0200] rev 23980
added structure Task;
added trace flag, official tracing operation;
added named CRITICAL';
schedule: tuned signature;
wenzelm [Wed, 25 Jul 2007 17:05:47 +0200] rev 23979
Secure.use_noncritical root;
wenzelm [Wed, 25 Jul 2007 17:05:45 +0200] rev 23978
added use_noncritical;
ballarin [Wed, 25 Jul 2007 10:19:01 +0200] rev 23977
tuned
wenzelm [Tue, 24 Jul 2007 23:55:28 +0200] rev 23976
fixed proofs involving dvd;
wenzelm [Tue, 24 Jul 2007 22:59:53 +0200] rev 23975
*** empty log message ***
wenzelm [Tue, 24 Jul 2007 22:53:49 +0200] rev 23974
require_thy: tuned tasks graph, removed visited;
use_thy etc.: schedule for multithreading;
wenzelm [Tue, 24 Jul 2007 22:53:48 +0200] rev 23973
renamed number_of_threads to max_threads;
added schedule operator;
wenzelm [Tue, 24 Jul 2007 22:53:46 +0200] rev 23972
added usedir option -M: max threads;