THEOREM-TYPE : GETGWFFTYPE
THEOREM-TYPE
is a wff reference format.
theorem
: a
theorem
(
exercise
,
practice
, or
theorem
from the book).
TPS documentation homepage
© 1988-99, Carnegie Mellon University.
TPS homepage