isabelle: Changelog

wenzelm [Wed, 20 May 2020 20:45:43 +0200] rev 71849

clarified modules;

paulson <lp15@cam.ac.uk> [Wed, 20 May 2020 15:00:25 +0100] rev 71848

A few new theorems, plus some tidying up

haftmann [Wed, 20 May 2020 08:33:53 +0200] rev 71847

corrected spelling and tuned whitespace

nipkow [Tue, 19 May 2020 09:33:16 +0200] rev 71846

tuned

wenzelm [Mon, 18 May 2020 12:59:01 +0200] rev 71845

follow Phabricator update 2020 Week 19;

nipkow [Sun, 17 May 2020 17:18:32 +0200] rev 71844

another AVL tree version

Manuel Eberl <eberlm@in.tum.de> [Fri, 15 May 2020 08:40:28 +0200] rev 71843

added missing preprocessing step for extraction (due to Stefan Berghofer)

Manuel Eberl <eberlm@in.tum.de> [Wed, 13 May 2020 16:35:36 +0200] rev 71842

new HOL simproc: eliminate_false_implies

nipkow [Thu, 14 May 2020 23:44:01 +0200] rev 71841

added lemma

Manuel Eberl <eberlm@in.tum.de> [Thu, 14 May 2020 13:44:44 +0200] rev 71840

Tuned some proofs in HOL-Analysis

isabelle