isabelle: Changelog

bulwahn [Sat, 21 Oct 2017 18:14:59 +0200] rev 66890

drop a superfluous assumption that was found by the find_unused_assms command and tune proof

bulwahn [Sat, 21 Oct 2017 18:11:29 +0200] rev 66889

drop a superfluous assumption that was found by the find_unused_assms command and tune proof

haftmann [Fri, 20 Oct 2017 20:57:55 +0200] rev 66888

algebraic foundation for congruences

wenzelm [Fri, 20 Oct 2017 23:29:43 +0200] rev 66887

more ambitious test;

haftmann [Fri, 20 Oct 2017 07:46:10 +0200] rev 66886

added lemmas and tuned proofs

paulson [Thu, 19 Oct 2017 17:16:13 +0100] rev 66885

merged

paulson <lp15@cam.ac.uk> [Thu, 19 Oct 2017 17:16:01 +0100] rev 66884

Switching to inverse image and constant_on, plus some new material

wenzelm [Thu, 19 Oct 2017 00:55:34 +0200] rev 66883

proper integer option for Admin/build_history;

wenzelm [Wed, 18 Oct 2017 20:26:32 +0200] rev 66882

clarified output;

wenzelm [Wed, 18 Oct 2017 20:14:57 +0200] rev 66881

tuned output;

isabelle