isabelle: Changelog

haftmann [Fri, 12 Jun 2015 08:53:23 +0200] rev 60430

standardized algebraic conventions: prefer a, b, c over x, y, z

haftmann [Fri, 12 Jun 2015 08:53:23 +0200] rev 60429

uniform _ div _ as infix syntax for ring division

paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 21:41:55 +0100] rev 60428

fixed several "inside-out" proofs

hoelzl [Thu, 11 Jun 2015 18:24:44 +0200] rev 60427

add transfer theorems for fixed points

paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 00:13:25 +0100] rev 60426

Merge

paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 00:12:27 +0100] rev 60425

tidied more proofs

wenzelm [Wed, 10 Jun 2015 23:34:23 +0200] rev 60424

misc tuning;

wenzelm [Wed, 10 Jun 2015 22:28:56 +0200] rev 60423

misc tuning;

wenzelm [Wed, 10 Jun 2015 21:49:02 +0200] rev 60422

unused;

wenzelm [Wed, 10 Jun 2015 20:15:58 +0200] rev 60421

misc tuning;

isabelle