TEST-UN88 : INFO

TEST-UN88 is a flag setting or other piece of information.
TEST-UN88 is an alias, defined as:
(set-flag 'test-theorems '((user::thm112c user::mode-thm112c-msq)(user::thm130 user::mode-thm130-msq)(user::thm130a user::mode-thm130a-msq)(user::thm301 user::mode-thm301-msq)(user::thm301a user::mode-thm301a-msq)(user::thm30 user::mode-thm30-msq)(user::x5304 user::mode-x5304-msq)(user::x5305 user::mode-x5305-msq)(user::x5308 user::mode-x5308-msq)(user::thm171 user::mode-thm171-msq)(user::thm117b user::mode-thm117b-msq)(user::thm117c user::mode-thm117c-msq)(user::thm141 user::mode-thm141-msq)(user::thm7 user::mode-thm7-msq)(user::thm112 user::mode-thm112-msq)))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage