Fri, 27 Apr 2018 20:59:34 +0100 | paulson | another big cleanup | changeset | files |
Fri, 27 Apr 2018 12:43:05 +0100 | paulson | merged | changeset | files |
Fri, 27 Apr 2018 12:38:30 +0100 | paulson | minor typeclass generalisations and junk removal | changeset | files |