| Tue, 19 Jan 2016 11:46:54 +0100 | nipkow | tuned | changeset | files |
| Tue, 19 Jan 2016 11:36:09 +0100 | nipkow | merged | changeset | files |
| Tue, 19 Jan 2016 11:36:02 +0100 | nipkow | added lemma | changeset | files |
| Tue, 19 Jan 2016 11:19:25 +0100 | Manuel Eberl | Added approximation of powr to NEWS/CONTRIBUTORS | changeset | files |
| Tue, 19 Jan 2016 07:59:29 +0100 | Manuel Eberl | Made Approximation work for powr again | changeset | files |
| Mon, 18 Jan 2016 16:03:58 +0100 | wenzelm | updated polyml; | changeset | files |
| Mon, 18 Jan 2016 16:03:18 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 18 Jan 2016 14:59:59 +0100 | wenzelm | updated mirrors according to website; | changeset | files |
| Sun, 17 Jan 2016 17:56:33 +0100 | nipkow | renamed map_of to lookup | changeset | files |
| Sun, 17 Jan 2016 00:14:45 +0100 | wenzelm | more method definitions; | changeset | files |
| Sat, 16 Jan 2016 23:35:55 +0100 | wenzelm | tuned syntax; | changeset | files |
| Sat, 16 Jan 2016 23:31:28 +0100 | wenzelm | tuned; | changeset | files |