gsdlab/clafer — pull request #58 by mantkiew (2014-11-28 03:52:52+00:00)
Title: Super-ref split

Status: DO NOT MERGE - WORK IN PROGRESS