GWFF-ILL : ARGTYPE

GWFF-ILL is an argument type.
A reference to a well- or ill-formed formula.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage