isabelle: Changelog

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;

wenzelm [Wed, 18 Oct 2017 19:53:19 +0200] rev 66880

more thorough treatment of afp_version and afp_pull_date;

wenzelm [Wed, 18 Oct 2017 11:53:01 +0200] rev 66879

tuned options;

isabelle