Mon, 18 Aug 2014 17:20:14 +0200 | blanchet | tuning | changeset | files |
Mon, 18 Aug 2014 17:20:13 +0200 | blanchet | added collection theorem for consistency and convenience | changeset | files |
Mon, 18 Aug 2014 17:19:58 +0200 | blanchet | reordered some (co)datatype property names for more consistency | changeset | files |