REFL= : %THEOREM%
REFL=
is a
theorem
.
Book
Theorem
:
A(A)
=
A
Reflexivity of Equality.
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage