| Mon, 23 Oct 2017 14:45:10 +0200 | nipkow | added lemma | changeset | files |
| Mon, 23 Oct 2017 14:12:09 +0200 | wenzelm | minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; | changeset | files |
| Sun, 22 Oct 2017 22:22:19 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 22 Oct 2017 16:43:00 +0200 | wenzelm | updated test version; | changeset | files |
| Sun, 22 Oct 2017 16:35:24 +0200 | wenzelm | merged | changeset | files |
| Sun, 22 Oct 2017 14:39:41 +0200 | wenzelm | auto update; | changeset | files |
| Sun, 22 Oct 2017 14:36:21 +0200 | wenzelm | more recent polyml-test version; | changeset | files |