TEST-BOOL : INFO

TEST-BOOL is a flag setting or other piece of information.
TEST-BOOL is an alias, defined as:
(set-flag 'test-theorems '((user::bool-prop-23 user::bool-prop-mode)(user::bool-prop-25 user::bool-prop-mode)(user::bool-prop-27 user::bool-prop-mode)(user::bool-prop-29 user::bool-prop-mode)(user::bool-prop-30 user::bool-prop-mode)(user::bool-prop-31 user::bool-prop-mode)(user::bool-prop-32 user::bool-prop-mode)(user::bool-prop-33 user::bool-prop-mode)(user::bool-prop-34 user::bool-prop-mode)(user::bool-prop-35 user::bool-prop-mode)(user::bool-prop-37 user::bool-prop-mode)(user::bool-prop-38 user::bool-prop-mode)(user::bool-prop-39 user::bool-prop-mode)(user::bool-prop-40 user::bool-prop-mode)(user::bool-prop-41 user::bool-prop-mode)(user::bool-prop-42 user::bool-prop-mode)(user::bool-prop-44 user::bool-prop-mode)(user::bool-prop-45 user::bool-prop-mode)(user::bool-prop-46 user::bool-prop-mode)(user::bool-prop-47 user::bool-prop-mode)(user::bool-prop-48 user::bool-prop-mode)(user::bool-prop-49 user::bool-prop-mode)(user::bool-prop-50 user::bool-prop-mode)(user::bool-prop-51 user::bool-prop-mode)(user::bool-prop-52 user::bool-prop-mode)(user::bool-prop-53 user::bool-prop-mode)(user::bool-prop-54 user::bool-prop-mode)(user::bool-prop-55 user::bool-prop-mode)(user::bool-prop-56 user::bool-prop-mode2)(user::bool-prop-57 user::bool-prop-mode2)(user::bool-prop-58 user::bool-prop-mode)(user::bool-prop-59 user::bool-prop-mode)(user::bool-prop-60 user::bool-prop-mode)(user::bool-prop-61 user::bool-prop-mode)(user::bool-prop-64 user::bool-prop-mode)(user::bool-prop-67 user::bool-prop-mode)(user::bool-prop-68 user::bool-prop-mode)(user::bool-prop-69 user::bool-prop-mode)(user::bool-prop-70 user::bool-prop-mode)(user::bool-prop-71 user::bool-prop-mode)(user::bool-prop-72 user::bool-prop-mode)(user::bool-prop-74 user::bool-prop-mode)(user::bool-prop-75 user::bool-prop-mode)(user::bool-prop-76 user::bool-prop-mode)(user::bool-prop-77 user::bool-prop-mode)(user::bool-prop-78 user::bool-prop-mode)(user::bool-prop-79 user::bool-prop-mode)(user::bool-prop-80 user::bool-prop-mode)(user::bool-prop-81 user::bool-prop-mode)(user::bool-prop-82 user::bool-prop-mode)(user::bool-prop-83 user::bool-prop-mode)(user::bool-prop-84 user::bool-prop-mode)(user::bool-prop-85 user::bool-prop-mode)(user::bool-prop-86 user::bool-prop-mode)(user::bool-prop-87 user::bool-prop-mode)(user::bool-prop-88 user::bool-prop-mode)(user::bool-prop-89 user::bool-prop-mode)(user::bool-prop-90 user::bool-prop-mode)(user::bool-prop-92 user::bool-prop-mode)(user::bool-prop-93 user::bool-prop-mode)(user::bool-prop-95 user::bool-prop-mode)(user::bool-prop-96 user::bool-prop-mode)(user::bool-prop-97 user::bool-prop-mode)(user::bool-prop-98 user::bool-prop-mode)(user::bool-prop-99 user::bool-prop-mode)(user::bool-prop-100 user::bool-prop-mode)(user::bool-prop-101 user::bool-prop-mode)(user::bool-prop-102 user::bool-prop-mode)(user::bool-prop-104 user::bool-prop-mode)(user::bool-prop-110 user::bool-prop-mode)(user::bool-prop-111 user::bool-prop-mode)(user::bool-prop-112 user::bool-prop-mode)(user::bool-prop-113 user::bool-prop-mode)(user::bool-prop-114 user::bool-prop-mode)(user::bool-prop-115 user::bool-prop-mode)(user::bool-prop-116 user::bool-prop-mode)(user::bool-prop-117 user::bool-prop-mode)(user::bool-prop-118 user::bool-prop-mode)(user::bool-prop-120 user::bool-prop-mode)))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage