Thu, 26 Jan 2017 16:06:18 +0100 | haftmann | dropped dead code | changeset | files |
Fri, 27 Jan 2017 17:35:08 +0100 | nipkow | tuned name | changeset | files |
Fri, 27 Jan 2017 17:28:10 +0100 | nipkow | removed unclear clause; slower but clearer | changeset | files |