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
wenzelm [Mon, 09 Jan 2012 18:29:42 +0100] rev 47032
prefer antiquotations;
wenzelm [Mon, 09 Jan 2012 14:47:18 +0100] rev 47031
misc tuning and reformatting;
wenzelm [Mon, 09 Jan 2012 14:26:13 +0100] rev 47030
updated generated file;