gsdlab/clafer — pull request #38 by Luke-Michael-Brown (2013-08-20 13:45:35+00:00)
Title: Redefinition

Note: This pull request should be done after parentFix!

Changed the Ir to allow a clafer to have an ISuper and IReference ('->' and ':') see:
http://gsd.uwaterloo.ca:8888/question/1065/separate-the-super-clafer-and-reference-type

Removed ambiguity of '->' and ':' see:
http://gsd.uwaterloo.ca:8888/question/877/expand-set-reference-to-bag-reference-only-in

Added redefinition to clafer