src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
Fri, 11 Jul 2014 15:52:03 +0200 Andreas Lochbihler reactivate session Quickcheck_Examples
Wed, 03 Apr 2013 22:26:04 +0200 haftmann optionalized very specific code setup for multisets
Tue, 29 May 2012 13:46:50 +0200 bulwahn added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
Wed, 04 Apr 2012 12:22:51 +0200 bulwahn added option quickcheck_locale to allow different behaviours for handling locales in Quickcheck;
less more (0) -4 tip