src/HOL/Quickcheck_Narrowing.thy
Thu, 09 Jun 2011 08:32:14 +0200 bulwahn moving Quickcheck_Narrowing from Library to base directory
less more (0) tip