isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 24 May 2016 13:57:34 +0100] rev 63128

renamings and new material

paulson <lp15@cam.ac.uk> [Tue, 24 May 2016 13:57:04 +0100] rev 63127

new theorem

paulson <lp15@cam.ac.uk> [Mon, 23 May 2016 16:03:29 +0100] rev 63126

deleted stray thm command

paulson <lp15@cam.ac.uk> [Mon, 23 May 2016 16:02:46 +0100] rev 63125

deleted needless comment

eberlm [Tue, 24 May 2016 15:44:10 +0200] rev 63124

Resolved cyclic dependency of theories

eberlm [Tue, 24 May 2016 15:05:59 +0200] rev 63123

Merged

eberlm [Tue, 24 May 2016 15:05:41 +0200] rev 63122

Added set permutations/random permutations

wenzelm [Tue, 24 May 2016 11:39:26 +0200] rev 63121

merged

wenzelm [Mon, 23 May 2016 21:30:30 +0200] rev 63120

embedded content may be delimited via cartouches;

wenzelm [Mon, 23 May 2016 20:45:10 +0200] rev 63119

tuned;

isabelle