isabelle: Changelog

nipkow [Thu, 07 Jul 2016 18:08:10 +0200] rev 63412

merged

nipkow [Thu, 07 Jul 2016 18:08:02 +0200] rev 63411

got rid of class cmp; added height-size proofs by Daniel Stuewe

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Thu, 07 Jul 2016 17:34:39 +0200] rev 63410

more instantiations for multiset

blanchet [Thu, 07 Jul 2016 09:24:03 +0200] rev 63409

moved lemmas and locales around (with minor incompatibilities)

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;

isabelle