src/HOL/Quickcheck_Examples/ROOT.ML
Thu, 19 Jul 2012 12:01:05 +0200 bulwahn deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest
Mon, 16 Jul 2012 08:44:29 +0200 bulwahn deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file
Wed, 11 Jul 2012 13:54:37 +0200 bulwahn adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck
Tue, 10 Jul 2012 18:41:34 +0200 bulwahn adding an example using Quickcheck to find a valid trace for the needham-schroeder protocol (a case study for Quickcheck)
Mon, 09 Jul 2012 10:04:07 +0200 bulwahn adding the hotel key card example in Quickcheck-Examples
Mon, 02 Jul 2012 12:23:30 +0200 bulwahn adding some minimal documentation and an example of quickcheck's interfaces
Fri, 30 Mar 2012 08:44:01 +0200 bulwahn adding theory to prove completeness of the exhaustive generators
Mon, 27 Feb 2012 12:12:28 +0100 wenzelm reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository;
Mon, 27 Feb 2012 10:56:36 +0100 bulwahn removing Find_Unused_Assms_Examples from session as it requires much time
Wed, 22 Feb 2012 18:08:27 +0100 bulwahn NEWS
Wed, 22 Feb 2012 17:25:35 +0100 bulwahn adding some examples with find_unused_assms command
Wed, 22 Feb 2012 08:01:41 +0100 bulwahn moving Quickcheck's example to its own session
less more (0) tip