gsdlab/claferIG — pull request #13 by mantkiew (2013-08-19 19:54:34+00:00)
Title: Hierarchy

Updates corresponding to [pull request](https://github.com/gsdlab/clafer/pull/36) to support inheritance among nested clafers.