| Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Mon, 25 Feb 2013 20:11:42 +0100 | wenzelm | fixed document; | file | diff | annotate |
| Sun, 24 Feb 2013 20:29:13 +0100 | haftmann | turned example into library for comparing growth of functions | file | diff | annotate | base |