isabelle: Changelog

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

immler [Wed, 13 Jun 2018 10:52:47 +0200] rev 68438

tuned exception

immler [Wed, 13 Jun 2018 10:45:23 +0200] rev 68437

restructured

immler [Wed, 13 Jun 2018 09:38:07 +0200] rev 68436

result of unoverload is not in normal form

immler [Wed, 13 Jun 2018 09:26:04 +0200] rev 68435

tuned

immler [Wed, 13 Jun 2018 09:22:58 +0200] rev 68434

allow for a list of vars

isabelle