Tue Jan 27 19:04:06 EST 2009 Samuel Bronson * Add ifdefs around export of :*: and :+: Tue Jan 27 19:04:27 EST 2009 Samuel Bronson * Add explicit foralls to GenericT' and GenericM' to allow LHC to parse them