src/HOL/Quickcheck_Random.thy
Sun, 15 Nov 2020 07:17:06 +0000 haftmann bundles for reflected term syntax
Thu, 12 Nov 2020 09:06:44 +0100 haftmann bundled syntax for state monad combinators
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 04 Jul 2018 10:58:28 +0200 Lars Hupel avoid clashes in quickcheck [random]
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Thu, 14 Apr 2016 15:33:51 +0200 wenzelm misc tuning and standardization;
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Fri, 05 Dec 2014 19:35:36 +0100 haftmann allow multiple inheritance of targets
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Wed, 29 Oct 2014 19:01:49 +0100 wenzelm modernized setup;
Fri, 19 Sep 2014 13:27:04 +0200 blanchet made new 'primrec' bootstrapping-capable
Wed, 03 Sep 2014 00:06:24 +0200 blanchet use 'datatype_new' in 'Main'
Sat, 25 Jan 2014 23:50:49 +0100 haftmann prefer explicit code symbol type over ad-hoc name mangling
Sun, 23 Jun 2013 21:16:07 +0200 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Thu, 14 Feb 2013 15:27:10 +0100 haftmann reform of predicate compiler / quickcheck theories:
less more (0) tip