isabelle: Changelog

wenzelm [Fri, 17 Aug 2018 20:44:00 +0200] rev 68754

clarified signature;

wenzelm [Wed, 15 Aug 2018 16:15:23 +0200] rev 68753

removed obsolete RC tags;

nipkow [Wed, 11 Jul 2018 09:43:48 +0200] rev 68752

(re)moved lemmas

nipkow [Wed, 11 Jul 2018 11:16:26 +0200] rev 68751

updated to renaming

wenzelm [Wed, 15 Aug 2018 16:09:44 +0200] rev 68750

updated common hosts;

wenzelm [Wed, 15 Aug 2018 16:04:15 +0200] rev 68749

merged

wenzelm [Wed, 15 Aug 2018 13:08:25 +0200] rev 68748

Added tag Isabelle2018 for changeset 91162dd89571

wenzelm [Wed, 15 Aug 2018 13:21:14 +0200] rev 68747

merged

wenzelm [Wed, 15 Aug 2018 13:02:48 +0200] rev 68746

canonical session directories in correspondence to Known.files;

paulson <lp15@cam.ac.uk> [Tue, 14 Aug 2018 16:05:40 +0100] rev 68745

Zorn's lemma for relations defined by predicates

isabelle