isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 19 Sep 2017 16:37:19 +0100] rev 66660

Using the "constant_on" operator

nipkow [Sun, 17 Sep 2017 21:04:02 +0200] rev 66659

added lemmas

nipkow [Thu, 14 Sep 2017 19:21:32 +0200] rev 66658

two new simp rules

nipkow [Thu, 14 Sep 2017 17:36:06 +0200] rev 66657

added lemma

nipkow [Wed, 13 Sep 2017 17:40:54 +0200] rev 66656

added lemma; zip_with -> map2

nipkow [Tue, 12 Sep 2017 20:40:46 +0200] rev 66655

introduced zip_with

nipkow [Tue, 12 Sep 2017 12:14:38 +0200] rev 66654

added lemma

wenzelm [Mon, 11 Sep 2017 18:36:13 +0200] rev 66653

clarified signature: proper result;

paulson <lp15@cam.ac.uk> [Mon, 11 Sep 2017 17:07:38 +0100] rev 66652

new theorem about exposed faces

wenzelm [Fri, 08 Sep 2017 19:37:46 +0200] rev 66651

back to post-release mode -- after fork point;

isabelle