isabelle: Changelog

wenzelm [Wed, 25 May 2016 16:01:42 +0200] rev 63148

updated 'define';

wenzelm [Wed, 25 May 2016 13:13:35 +0200] rev 63147

merged

wenzelm [Wed, 25 May 2016 11:50:58 +0200] rev 63146

isabelle update_cartouches -c -t;

wenzelm [Wed, 25 May 2016 11:49:40 +0200] rev 63145

isabelle update_cartouches -c -t;

eberlm [Wed, 25 May 2016 12:24:00 +0200] rev 63144

NEWS: Permutations of a set and randomised folds

Lars Hupel <lars.hupel@mytum.de> [Tue, 24 May 2016 22:46:23 +0200] rev 63143

new Isabelle component for CI infastructure

wenzelm [Tue, 24 May 2016 19:42:47 +0200] rev 63142

merged

wenzelm [Tue, 24 May 2016 17:51:09 +0200] rev 63141

recovered printing of DIM('a) (cf. 899c9c4e4a4c);

wenzelm [Tue, 24 May 2016 16:24:20 +0200] rev 63140

updated;

wenzelm [Tue, 24 May 2016 16:13:59 +0200] rev 63139

simplified syntax;

isabelle