Fri, 06 Aug 2010 11:37:33 +0200 | blanchet | merged | changeset | files |
Fri, 06 Aug 2010 11:35:10 +0200 | blanchet | quotient types registered as codatatypes are no longer quotient types | changeset | files |
Fri, 06 Aug 2010 11:33:58 +0200 | blanchet | added a friendly warning | changeset | files |