src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
Wed, 03 Apr 2013 22:26:04 +0200 haftmann optionalized very specific code setup for multisets
less more (0) -1 tip