Updates with respect to inheritance & equality
Authored by: kifer 1999-06-13
Parent: [r859]
Child: [r861]