isabelle: File revisions

src/HOL/ex/Quickcheck_Generators.thy

Mon, 08 Jun 2009 08:38:51 +0200	haftmann	added generator for char and trivial generator for String.literal	file \| diff \| annotate
Sun, 24 May 2009 15:02:22 +0200	haftmann	refined construction_interpretation	file \| diff \| annotate
Wed, 20 May 2009 15:35:13 +0200	haftmann	adjusted to changes in Quickcheck.thy	file \| diff \| annotate
Fri, 15 May 2009 16:39:19 +0200	haftmann	adjusted to changes in theory Quickcheck	file \| diff \| annotate
Wed, 13 May 2009 18:41:38 +0200	haftmann	added abstract operations for typerep/term_of	file \| diff \| annotate
Fri, 17 Apr 2009 14:29:54 +0200	haftmann	separate channel for Quickcheck evaluations	file \| diff \| annotate
Sun, 08 Mar 2009 17:26:14 +0100	wenzelm	moved basic algebra of long names from structure NameSpace to Long_Name;	file \| diff \| annotate
Thu, 05 Mar 2009 12:08:00 +0100	wenzelm	renamed NameSpace.base to NameSpace.base_name;	file \| diff \| annotate
Thu, 05 Feb 2009 14:14:03 +0100	haftmann	split of already properly working part of Quickcheck infrastructure	file \| diff \| annotate \| base

isabelle