isabelle: Changelog

noschinl [Mon, 19 Dec 2011 14:41:08 +0100] rev 45933

add lemmas

noschinl [Mon, 19 Dec 2011 14:41:08 +0100] rev 45932

add lemmas

noschinl [Mon, 19 Dec 2011 14:41:08 +0100] rev 45931

weaken preconditions on lemmas

noschinl [Mon, 19 Dec 2011 14:41:08 +0100] rev 45930

add lemmas

bulwahn [Tue, 20 Dec 2011 17:40:21 +0100] rev 45929

removing some debug output in quotient_definition

bulwahn [Tue, 20 Dec 2011 17:40:18 +0100] rev 45928

adding quickcheck generators in some HOL-Library theories

bulwahn [Tue, 20 Dec 2011 17:40:17 +0100] rev 45927

adding quickcheck generator for distinct lists; adding examples

bulwahn [Tue, 20 Dec 2011 17:40:15 +0100] rev 45926

added keywords

bulwahn [Tue, 20 Dec 2011 17:39:56 +0100] rev 45925

quickcheck generators for abstract types; tuned

bulwahn [Tue, 20 Dec 2011 17:22:31 +0100] rev 45924

exporting instantiation functions in quickcheck for their usage in abstract generators

isabelle