isabelle: Changelog

haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67116

cleaned up and tuned

haftmann [Sat, 02 Dec 2017 16:50:53 +0000] rev 67115

generalized more lemmas

wenzelm [Fri, 01 Dec 2017 20:49:42 +0100] rev 67114

tuned output;

wenzelm [Fri, 01 Dec 2017 20:41:59 +0100] rev 67113

more operations;

wenzelm [Fri, 01 Dec 2017 20:29:58 +0100] rev 67112

removed inaccessible blobs from Document.Nodes;

wenzelm [Fri, 01 Dec 2017 18:20:15 +0100] rev 67111

more accurate JSON parsing according to http://seriot.ch/parsing_json.php

wenzelm [Fri, 01 Dec 2017 16:58:26 +0100] rev 67110

purge hidden nodes more thoroughly: is_hidden may become true only later;

wenzelm [Fri, 01 Dec 2017 15:49:01 +0100] rev 67109

proper synchronized Map: this may be used on multiple threads;

eberlm <eberlm@in.tum.de> [Thu, 30 Nov 2017 17:00:19 +0100] rev 67108

bij_betw lemma for prime powers

eberlm <eberlm@in.tum.de> [Thu, 30 Nov 2017 16:59:59 +0100] rev 67107

Existence of a holomorphic logarithm

isabelle