boehmes [Wed, 24 Nov 2010 08:51:48 +0100] rev 40928
be more liberal in reconstructing congruences from Z3 (sometimes the symmetric version of a premise is needed)
bulwahn [Wed, 24 Nov 2010 10:23:52 +0100] rev 40927
announcing some latest change (d40b347d5b0b)
blanchet [Tue, 23 Nov 2010 23:44:11 +0100] rev 40926
merged
blanchet [Tue, 23 Nov 2010 23:43:56 +0100] rev 40925
more precise characterization of built-in constants "number_of", "0", and "1"
haftmann [Tue, 23 Nov 2010 23:11:06 +0100] rev 40924
merged
haftmann [Mon, 22 Nov 2010 17:49:24 +0100] rev 40923
merged
haftmann [Mon, 22 Nov 2010 17:48:35 +0100] rev 40922
adhere established Collect/mem convention more closely
haftmann [Mon, 22 Nov 2010 17:49:12 +0100] rev 40921
merged
haftmann [Mon, 22 Nov 2010 17:46:51 +0100] rev 40920
replaced misleading Fset/fset name -- these do not stand for finite sets
haftmann [Mon, 22 Nov 2010 09:37:39 +0100] rev 40919
renamed slightly ambivalent crel to effect