parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);

tuned;

clarified signature;

tuned: build hg_graph only once; tuned signature;

tuned

derived axiom iffI as a lemma (thanks to Alexander Maletzky)

remove trailing whitespaces in List

drop a superfluous assumption that was found by the find_unused_assms command

drop a superfluous assumption that was found by the find_unused_assms command and tune proof

drop a superfluous assumption that was found by the find_unused_assms command and tune proof

algebraic foundation for congruences

more ambitious test;

added lemmas and tuned proofs

merged

Switching to inverse image and constant_on, plus some new material

proper integer option for Admin/build_history;

clarified output;

tuned output;

more thorough treatment of afp_version and afp_pull_date;

tuned options;

tuned output;

uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");

tuned;

permissive theory_timings for historic versions;

store theory timings in session in build_log database; tuned;

provide theory timing information, similar to command timing but always considered relevant;

tuned;

init user settings on fresh test machine;

added [simp]

proper value;