a useful elim rule for equality

index of these slides
Prev: case analysis via equality
index of these slides
Conor's home page

Last modified: Tue Feb 1 16:45:28 GMT 2000