blanchet [Sun, 06 Nov 2011 11:51:35 +0100] rev 45366
speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
blanchet [Sun, 06 Nov 2011 11:16:37 +0100] rev 45365
renamed experimental systems
blanchet [Sun, 06 Nov 2011 11:13:47 +0100] rev 45364
repaired quantification over type variables for non-TFF1/THF encodings
wenzelm [Sun, 06 Nov 2011 18:42:15 +0100] rev 45363
misc tuning and modernization;
more antiquotations;
wenzelm [Sun, 06 Nov 2011 17:53:32 +0100] rev 45362
misc tuning and modernization;
more antiquotations;
wenzelm [Sun, 06 Nov 2011 17:05:45 +0100] rev 45361
tuned;
wenzelm [Sun, 06 Nov 2011 17:00:05 +0100] rev 45360
some statespace benchmarks;
wenzelm [Sun, 06 Nov 2011 16:41:53 +0100] rev 45359
write changed .prv files only, to avoid writing into src file-space by default;
wenzelm [Sun, 06 Nov 2011 16:29:22 +0100] rev 45358
tuned document;
tuned proofs;
wenzelm [Sun, 06 Nov 2011 16:22:26 +0100] rev 45357
more precise dependencies;