Fri, 26 Apr 2013 11:04:45 +0200 | blanchet | changed discriminator default: avoid mixing ctor and dtor views | changeset | files |
Fri, 26 Apr 2013 09:53:11 +0200 | nipkow | simplified def | changeset | files |
Fri, 26 Apr 2013 09:41:45 +0200 | nipkow | more standard order of arguments | changeset | files |