bulwahn [Tue, 10 Jan 2012 15:48:10 +0100] rev 47042
proper hiding of facts and constants in AList_Impl and AList theory
bulwahn [Tue, 10 Jan 2012 10:48:39 +0100] rev 47041
NEWS
bulwahn [Tue, 10 Jan 2012 10:18:08 +0100] rev 47040
adding quickcheck examples with multisets
bulwahn [Tue, 10 Jan 2012 10:17:09 +0100] rev 47039
improving code generation for multisets; adding exhaustive quickcheck generators for multisets
bulwahn [Tue, 10 Jan 2012 10:17:07 +0100] rev 47038
adding theory association lists with invariant
wenzelm [Mon, 09 Jan 2012 23:11:28 +0100] rev 47037
command status color via regular markup;
wenzelm [Mon, 09 Jan 2012 23:09:03 +0100] rev 47036
proper cumulation of bulk arguments;
wenzelm [Mon, 09 Jan 2012 23:08:33 +0100] rev 47035
tuned;
blanchet [Mon, 09 Jan 2012 18:33:55 +0100] rev 47034
merge
blanchet [Mon, 09 Jan 2012 18:32:56 +0100] rev 47033
revert unintended "sledgehammer" call