isabelle: File revisions

src/HOL/Quickcheck_Random.thy

2016-04-14	wenzelm	misc tuning and standardization;	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-09-01	wenzelm	eliminated \<Colon>;	file \| diff \| annotate
2015-07-18	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2014-12-05	haftmann	allow multiple inheritance of targets	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-10-29	wenzelm	modernized setup;	file \| diff \| annotate
2014-09-19	blanchet	made new 'primrec' bootstrapping-capable	file \| diff \| annotate
2014-09-02	blanchet	use 'datatype_new' in 'Main'	file \| diff \| annotate
2014-01-25	haftmann	prefer explicit code symbol type over ad-hoc name mangling	file \| diff \| annotate
2013-06-23	haftmann	migration from code_(const\|type\|class\|instance) to code_printing and from code_module to code_identifier	file \| diff \| annotate
2013-02-15	haftmann	two target language numeral types: integer and natural, as replacement for code_numeral;	file \| diff \| annotate
2013-02-14	haftmann	reform of predicate compiler / quickcheck theories:	file \| diff \| annotate \| base

isabelle