ClemsonRSRG/RESOLVE-Workspace — pull request #25 by yushan87 (2014-03-24 21:41:39+00:00)
Title: syntax changes to type and type family declarations

All the type and type family declarations should end with "end;"

Note: Record and Cart_Prod both end with "end;", so in cases where there isn't anything following that, it should be "end; end;" to note end of Record/Cart_Prod and end of type declaration.