29 Jan
2009
29 Jan
'09
1:27 a.m.
Tue Jan 27 19:04:06 EST 2009 Samuel Bronson <naesten@gmail.com> * Add ifdefs around export of :*: and :+: Tue Jan 27 19:04:27 EST 2009 Samuel Bronson <naesten@gmail.com> * Add explicit foralls to GenericT' and GenericM' to allow LHC to parse them