Fri, 26 Feb 2016 22:38:44 +0100 | wenzelm | take qualification of type name more seriously: derived consts and facts are qualified uniformly; | changeset | files |
Thu, 03 Mar 2016 23:33:41 +0100 | wenzelm | merged | changeset | files |
Thu, 03 Mar 2016 23:33:22 +0100 | wenzelm | simplified; | changeset | files |