isabelle: Changelog

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

desharna [Wed, 05 Jan 2022 10:56:41 +0100] rev 74970

removed $ite from E 2.6 in THF format

paulson <lp15@cam.ac.uk> [Wed, 05 Jan 2022 15:35:23 +0000] rev 74969

New and simplified theorems

desharna [Mon, 03 Jan 2022 13:29:05 +0100] rev 74968

merged

desharna [Mon, 03 Jan 2022 13:28:31 +0100] rev 74967

prefixed all mirabelle_sledgehammer output lines with sledgehammer output

nipkow [Wed, 29 Dec 2021 08:07:51 +0100] rev 74966

added lemma

paulson <lp15@cam.ac.uk> [Sun, 26 Dec 2021 11:01:27 +0000] rev 74965

Tiny additions inspired by Roth development

isabelle