isabelle: Changelog

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

desharna [Fri, 07 Jan 2022 08:50:12 +0100] rev 74972

merged

desharna [Thu, 06 Jan 2022 17:45:07 +0100] rev 74971

added lemmas wf_imp_asym, wfP_imp_asymp, and wfP_imp_irreflp

isabelle