Add a section on binder uniqueness.
[matthijs/master-project/report.git] / progress-2009.02.04.txt
2009-05-20 Matthijs KooijmanAdd a few progress documents.