equality.ipl

Describes the difference between definitional and propositional equality.
View file at Google Code.


View file at Google Code.