src/HOL/Quickcheck.thy
Mon, 18 May 2009 15:45:38 +0200 haftmann added quickcheck support for numeric types
Sat, 16 May 2009 20:16:49 +0200 haftmann experimental move of Quickcheck and related theories to HOL image
less more (0) tip