isabelle: File revisions

src/Doc/IsarRef/HOL_Specific.thy

Tue, 01 Apr 2014 14:24:28 +0200	Andreas Lochbihler	document value generation for quickcheck's testers	file \| diff \| annotate
Mon, 24 Mar 2014 19:06:20 +0100	wenzelm	removed unused 'ax_specification', to give 'specification' a chance to become localized;	file \| diff \| annotate
Thu, 06 Mar 2014 15:29:18 +0100	blanchet	renamed 'prod_rel' to 'rel_prod'	file \| diff \| annotate
Sun, 23 Feb 2014 10:44:57 +0100	haftmann	*NEWS and documentation, including correction of long-overseen ""**	file \| diff \| annotate
Sun, 23 Feb 2014 10:33:43 +0100	haftmann	dropped long-unused option	file \| diff \| annotate
Tue, 18 Feb 2014 23:03:49 +0100	kuncar	delete or move now not necessary reflexivity rules due to 1726f46d2aa8	file \| diff \| annotate
Fri, 14 Feb 2014 07:53:46 +0100	blanchet	renamed 'enriched_type' to more informative 'functor' (following the renaming of enriched type constructors to bounded natural functors)	file \| diff \| annotate
Sun, 09 Feb 2014 21:37:27 +0100	haftmann	dropped legacy finally	file \| diff \| annotate

isabelle