Thu, 26 Jan 2017 16:25:32 +0100 tuned
haftmann [Thu, 26 Jan 2017 16:25:32 +0100] rev 64958
tuned
Thu, 26 Jan 2017 16:06:19 +0100 tuned structure and terminology
haftmann [Thu, 26 Jan 2017 16:06:19 +0100] rev 64957
tuned structure and terminology
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip