src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
Mon, 12 Mar 2012 19:09:38 +0100 wenzelm tuned headers;
less more (0) -1 tip