src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
Wed, 29 Oct 2014 11:19:27 +0100 wenzelm tuned;
less more (0) -1 tip