isabelle: Changelog

wenzelm [Wed, 30 Nov 2011 16:05:15 +0100] rev 45693

tuned layout;

wenzelm [Wed, 30 Nov 2011 16:03:18 +0100] rev 45692

tuned header;

wenzelm [Wed, 30 Nov 2011 12:09:29 +0100] rev 45691

updated version information;

kuncar [Wed, 30 Nov 2011 11:36:46 +0100] rev 45690

removed outdated comment

bulwahn [Wed, 30 Nov 2011 10:07:32 +0100] rev 45689

adding examples for the potential counterexamples in the simple scheme

bulwahn [Wed, 30 Nov 2011 09:35:58 +0100] rev 45688

also potential counterexamples in the simple exhaustive testing in quickcheck

bulwahn [Wed, 30 Nov 2011 09:21:18 +0100] rev 45687

quickcheck does not show evaluation terms of equations if they are simply free variables to avoid duplicated output; tuned

bulwahn [Wed, 30 Nov 2011 09:21:15 +0100] rev 45686

adding more verbose messages to exhaustive quickcheck

bulwahn [Wed, 30 Nov 2011 09:21:11 +0100] rev 45685

quickcheck narrowing also shows potential counterexamples

bulwahn [Wed, 30 Nov 2011 09:21:09 +0100] rev 45684

adding a exception-safe term reification step in quickcheck; adding examples

isabelle