Thu, 26 Jan 2017 16:06:18 +0100 tuned scope of lazy computation
haftmann [Thu, 26 Jan 2017 16:06:18 +0100] rev 64956
tuned scope of lazy computation
Thu, 26 Jan 2017 16:06:18 +0100 tuned data structure
haftmann [Thu, 26 Jan 2017 16:06:18 +0100] rev 64955
tuned data structure
Thu, 26 Jan 2017 16:06:18 +0100 dropped dead code
haftmann [Thu, 26 Jan 2017 16:06:18 +0100] rev 64954
dropped dead code
Fri, 27 Jan 2017 17:35:08 +0100 tuned name
nipkow [Fri, 27 Jan 2017 17:35:08 +0100] rev 64953
tuned name
Fri, 27 Jan 2017 17:28:10 +0100 removed unclear clause; slower but clearer
nipkow [Fri, 27 Jan 2017 17:28:10 +0100] rev 64952
removed unclear clause; slower but clearer
Fri, 27 Jan 2017 12:32:49 +0100 removed contribution by Daniel Stuewe, too detailed.
nipkow [Fri, 27 Jan 2017 12:32:49 +0100] rev 64951
removed contribution by Daniel Stuewe, too detailed.
Thu, 26 Jan 2017 17:51:13 +0100 added concise log height bound lemma
nipkow [Thu, 26 Jan 2017 17:51:13 +0100] rev 64950
added concise log height bound lemma
Wed, 25 Jan 2017 23:09:06 +0100 updated package;
wenzelm [Wed, 25 Jan 2017 23:09:06 +0100] rev 64949
updated package;
Wed, 25 Jan 2017 23:08:29 +0100 tuned;
wenzelm [Wed, 25 Jan 2017 23:08:29 +0100] rev 64948
tuned;
Wed, 25 Jan 2017 18:26:35 +0100 tuned
nipkow [Wed, 25 Jan 2017 18:26:35 +0100] rev 64947
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip