log

age author description
Sun, 10 Feb 2008 02:22:14 +0000 Glenn Morris (Equality Predicates): Mention equal-including-properties.