gsdlab/clafer — pull request #26 by Luke-Michael-Brown (2013-06-28 19:31:12+00:00)
Title: I74

see http://gsd.uwaterloo.ca:8888/question/338/problem-with-translation-of-abstract-clafers-in