isabelle: Changelog

nipkow [Fri, 22 May 2020 19:21:16 +0200] rev 71856

comment makes no sense

nipkow [Fri, 22 May 2020 08:52:23 +0200] rev 71855

added simp lemma

haftmann [Thu, 21 May 2020 20:00:09 +0000] rev 71854

slightly more specific implementations

haftmann [Thu, 21 May 2020 20:00:08 +0000] rev 71853

tuned module name space for generated code

nipkow [Thu, 21 May 2020 22:06:15 +0200] rev 71852

unused alias

haftmann [Wed, 20 May 2020 19:43:39 +0000] rev 71851

generalized and augmented

wenzelm [Wed, 20 May 2020 22:07:41 +0200] rev 71850

clarified signature;

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

isabelle