gsdlab/clafer — pull request #40 by mantkiew (2013-11-04 22:21:51+00:00)
Title: Unique names

Implementation for [i275](http://gsd.uwaterloo.ca:8888/question/1130/unique-name-generation).