TEST-LONG : INFO

TEST-LONG is a flag setting or other piece of information.
TEST-LONG is an alias, defined as:
(set-flag 'test-theorems '((user::thm104 user::mode-thm104-a) (user::thm112 user::mode-thm112-b) (user::thm112a user::mode-thm112a-try4) (user::thm30 user::mode-thm30) (user::thm47 user::mode-thm47-g) (user::thm48 user::mode-thm48-e) (user::thm67 user::mode-thm67-a)
(user::thm115 user::mode-thm115-pr97a)
(user::thm117c user::mode-thm117b) (user::thm129 user::mode-thm129-e) (user::thm130 user::mode-thm129-b) (user::thm131 user::mode-thm131-a) (user::thm133 user::mode-x5200) (user::thm134 user::mode-thm134-a) (user::thm135 user::mode-thm135-1) (user::thm300a user::mode-thm300a-4) (user::thm301a user::mode-thm301-a) (user::thm303 user::mode-thm303-dtps) (user::bledsoe-feng-sv-i1 user::mode-thm129-d) (user::bledsoe-feng-sv-i2 user::mode-bledsoe-feng-sv-i2-b) (user::x2115 user::mode-x2129-a) (user::x2116 user::mode-x2116) (user::x2129 user::mode-x2129-c) (user::x5200 user::mode-x5200-a) (user::x5205 user::mode-x5205) (user::x5304 user::mode-x5304) (user::x5305 user::mode-x5305) (user::x5308 user::mode-x5308-b) (user::x5310 user::mode-x5310-a)
(user::thm15a user::mode-thm15a-1)
(user::thm15b user::MODE-THM15B-NEW1) ))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage