log

age author description
Mon, 11 Feb 2008 00:47:02 +0000 Glenn Morris (Equality Predicates): Mention equal-including-properties.