isabelle: Changelog

blanchet [Thu, 07 Jul 2016 00:43:27 +0200] rev 63408

updated example

blanchet [Wed, 06 Jul 2016 23:19:28 +0200] rev 63407

leverage new 'order' type class instantiation in multiset

blanchet [Wed, 06 Jul 2016 23:19:27 +0200] rev 63406

updated examples

wenzelm [Wed, 06 Jul 2016 22:52:10 +0200] rev 63405

merged

wenzelm [Wed, 06 Jul 2016 20:19:51 +0200] rev 63404

misc tuning and modernization;

wenzelm [Wed, 06 Jul 2016 14:09:13 +0200] rev 63403

proper signature;

wenzelm [Wed, 06 Jul 2016 11:29:51 +0200] rev 63402

tuned signature;

Lars Hupel <lars.hupel@mytum.de> [Wed, 06 Jul 2016 13:45:52 +0200] rev 63401

simplify build scripts

wenzelm [Tue, 05 Jul 2016 23:39:49 +0200] rev 63400

misc tuning and modernization;

wenzelm [Tue, 05 Jul 2016 22:47:48 +0200] rev 63399

more antiquotations;

isabelle