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