src/HOL/Quickcheck_Random.thy
2020-11-15 haftmann bundles for reflected term syntax
2020-11-12 haftmann bundled syntax for state monad combinators
2019-01-06 wenzelm isabelle update -u path_cartouches;
2019-01-04 wenzelm isabelle update -u control_cartouches;
2018-07-04 Lars Hupel avoid clashes in quickcheck [random]
2018-01-10 nipkow ran isabelle update_op on all sources
2016-04-14 wenzelm misc tuning and standardization;
2015-12-07 wenzelm isabelle update_cartouches -c -t;
2015-09-01 wenzelm eliminated \<Colon>;
2015-07-18 wenzelm isabelle update_cartouches;
2014-12-05 haftmann allow multiple inheritance of targets
2014-11-02 wenzelm modernized header uniformly as section;
2014-10-29 wenzelm modernized setup;
2014-09-19 blanchet made new 'primrec' bootstrapping-capable
2014-09-02 blanchet use 'datatype_new' in 'Main'
2014-01-25 haftmann prefer explicit code symbol type over ad-hoc name mangling
2013-06-23 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-02-15 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
2013-02-14 haftmann reform of predicate compiler / quickcheck theories:
less more (0) tip