tree a07792dff3f748325b7246b96cc95199401c26ee
parent 7c91dbec0ed16b2dba8ce5d923015e821333b673
parent 5bb420761fc72f9a58461ff2c294c82fe990f0fa
author Andrew Svetlov <andrew.svetlov@gmail.com> 1351799296 +0200
committer Andrew Svetlov <andrew.svetlov@gmail.com> 1351799296 +0200

Merge: Reword set docs to use *proper subset/superset* terminology.