wenzelm [Mon, 27 Feb 2012 12:12:28 +0100] rev 47572
reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository;
moved the whole HOL-Quickcheck_Examples target from "all" to "full" for now -- it does not terminate in certain situations (to be investigated further);
nipkow [Mon, 27 Feb 2012 11:53:08 +0100] rev 47571
merged
nipkow [Mon, 27 Feb 2012 10:27:21 +0100] rev 47570
added lemma
nipkow [Mon, 27 Feb 2012 09:01:49 +0100] rev 47569
converting "set [...]" to "{...}" in evaluation results
bulwahn [Mon, 27 Feb 2012 10:56:36 +0100] rev 47568
removing Find_Unused_Assms_Examples from session as it requires much time
haftmann [Sun, 26 Feb 2012 21:44:12 +0100] rev 47567
restored accidental omission
haftmann [Sun, 26 Feb 2012 21:43:57 +0100] rev 47566
dropped dead code
haftmann [Sun, 26 Feb 2012 21:26:28 +0100] rev 47565
tuned structure
haftmann [Sun, 26 Feb 2012 21:25:54 +0100] rev 47564
retain syntax here
haftmann [Sun, 26 Feb 2012 20:43:33 +0100] rev 47563
tuned structure; dropped already existing syntax declarations