fixed broken definitions and proofs following Isabelle/8d153846f65f

Universal_Hash_Families: Remove accidental duplication of pmf_of_set_prod_eq.

added alias wfp for wfP

merged

added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono…

start scheduled jobs earlier, if possible;

tuned proofs

added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf…

merged

added definitions wf_on and wfp_on as restricted versions of wf and wfP…

read/write proper schedule date (amending 9da3019e1ee5);

allow read/write of schedule in build (read via option, write from tool);

file representation for schedule (e.g., for generating from external tool);

proper median/mean time;

remove schedule outdated limit: delay is sufficient;

tuned whitespace;

tie-breaking in schedule optimization to pick best schedule even when run-time…

tuned;

remove old build before generating schedule;

unused;

merged

added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image…

clarified names;

sketch & explore: reduce unnecessary type constraints

sketch & explore: TODO comments are addressed in parent commits

sketch & explore: replace functionality of `sketch` by more useful `nxsketch`…

sketch & explore: use Active.sendback_markup_command to preserve indentation of…

change benchmark session to FOLP-ex (faster and less mean squared error than ZF…

unused;

proper IPC for scheduled builds, following 7ae25372ab04;

tuned;

proper check (amending 9aef1d1535ff);

more synced options (following 6e5397fcc41b);

avoid [no_atp] declations shadowing propositions from sledgehammer

Inserted a corollary to the main result

track start in build job results (following 9d484c5d3a63), so it can directly…

use inherited build_start, following d9fc2cc37694;

update NEWS + CONTRIBUTORS for release;

Tuned proofs

merged

revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards…

tuned;

database performance tuning: prefer light-weight IPC over heavy-duty…

tuned whitespace;

proper system option, instead of hardwired default;

tuned signature: fewer warnings in IntelliJ IDEA;

tuned comments;

clarified build schedule host: proper module;

tuned;

remove unused dummy;

use timeout as default build time predictor if no data is available;

Updated a proof to the new formalisation of meromorphic

merged

Restored Riemann_Mapping as an import of Complex_Analysis

proper file headers;

clarified modules;

merged

database performance tuning: pull changed entries only, based on recorded…

tuned signature: more operations;

clarified signature: more explicit types;

tuned signature;

removed somewhat pointless check;

tuned signature: fewer warnings in IntelliJ IDEA;

merged

Fixed a latex error in the markup

minor performance tuning: SQL.order_by is only for demo purposes;

support efficient access to state updates, based on LEFT OUTER JOIN;

tuned signature;

tuned signature;

tuned: prefer if_proper expression;

tuned: prefer if_proper expression;

New material by Wenda Li and Manuel Eberl

merged

export BNF properties about the cardinal bound (by Jan van Brügge)

Relational_Cardinality: minor revision

unused (see 123f2c0995b8);

tuned;

maintain short build_id vs. build_uuid, similar to Database_Progress…

tuned: remove redundant guard;

more robust init_built: get_build_id and start_build within the same…

more operations;

clarified signature: init_state vs. init_unsynchronized;

more operations;

more thorough "isabelle build_process -C -r -f";

tuned signature: more uniform SQL.Data instances;

tuned signature;

tuned signature;

tuned signature;

disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf"…

revert part of 5969ead9f900 that does not quite work yet: only one accidental…

proper tables (amending 4611b7b47b42);

record updates within database, based on serial;

tuned;

clarified signature: improved data integrity;

obsolete;

clarified modules;

clarified modules;

misc tuning: prefer Build_Process.Update operations;

misc tuning and clarification: prefer explicit type Build_Process.Update;

tuned signature;