isabelle: Changelog

paulson [Thu, 14 Jun 2018 15:20:20 +0100] rev 68448

merged

paulson <lp15@cam.ac.uk> [Thu, 14 Jun 2018 15:20:10 +0100] rev 68447

Adjusting Number_Theory for new Algebra

paulson [Thu, 14 Jun 2018 14:23:48 +0100] rev 68446

merged

paulson <lp15@cam.ac.uk> [Thu, 14 Jun 2018 14:23:38 +0100] rev 68445

reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories

paulson [Tue, 12 Jun 2018 16:09:12 +0100] rev 68444

merged

paulson <lp15@cam.ac.uk> [Tue, 12 Jun 2018 16:08:57 +0100] rev 68443

New material from Martin Baillon and Paulo Emílio de Vilhena

nipkow [Thu, 14 Jun 2018 15:45:53 +0200] rev 68442

tuned

nipkow [Thu, 14 Jun 2018 10:51:12 +0200] rev 68441

removed duplicates

nipkow [Wed, 13 Jun 2018 15:24:20 +0200] rev 68440

qualify interpretations to avoid clashes

nipkow [Wed, 13 Jun 2018 11:53:25 +0200] rev 68439

more abstract names

isabelle