isabelle: Changelog

desharna [Wed, 12 Jan 2022 16:33:07 +0100] rev 74982

merged

desharna [Tue, 11 Jan 2022 22:07:04 +0100] rev 74981

split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"

desharna [Tue, 11 Jan 2022 12:08:03 +0100] rev 74980

proper name mangling of "undefined" constants in Sledgehammer

haftmann [Tue, 11 Jan 2022 06:48:02 +0000] rev 74979

earlier availability of lifting

haftmann [Tue, 11 Jan 2022 06:47:47 +0000] rev 74978

more correct transfer

desharna [Mon, 10 Jan 2022 21:34:09 +0100] rev 74977

merged

desharna [Mon, 10 Jan 2022 14:13:23 +0100] rev 74976

proper abstraction of function variables when instantiating induction rules in Sledgehammer

desharna [Mon, 10 Jan 2022 13:11:18 +0100] rev 74975

added lemma asympD

nipkow [Mon, 10 Jan 2022 14:05:33 +0100] rev 74974

added lemma

paulson <lp15@cam.ac.uk> [Sun, 09 Jan 2022 18:50:06 +0000] rev 74973

Some lemmas about continuous functions with integral zero

isabelle