isabelle: Changelog

immler [Thu, 28 Jun 2018 10:13:54 +0200] rev 68524

avoid duplicate facts, the "trick" was copied without deeper motivation

wenzelm [Wed, 27 Jun 2018 20:31:22 +0200] rev 68523

clarified settings -- avoid hard-wired directories; tuned documentation;

immler [Wed, 27 Jun 2018 11:16:43 +0200] rev 68522

example for Types_To_Sets: transfer from type-based linear algebra to subspaces

immler [Wed, 27 Jun 2018 10:18:03 +0200] rev 68521

added lemmas and transfer rules

wenzelm [Tue, 26 Jun 2018 23:39:28 +0200] rev 68520

merged

wenzelm [Tue, 26 Jun 2018 23:15:48 +0200] rev 68519

smart_implode "$AFP" as well;

paulson [Tue, 26 Jun 2018 21:59:05 +0100] rev 68518

merged

paulson <lp15@cam.ac.uk> [Tue, 26 Jun 2018 20:48:49 +0100] rev 68517

a few new lemmas

nipkow [Tue, 26 Jun 2018 22:39:06 +0200] rev 68516

new theory Trie

wenzelm [Tue, 26 Jun 2018 19:29:14 +0200] rev 68515

merged

isabelle