REFL= : %THEOREM%

REFL= is a theorem.
Book Theorem:
A(A) = A
Reflexivity of Equality.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage