TEST-DEFAULT : INFO

TEST-DEFAULT is a flag setting or other piece of information.
TEST-DEFAULT is an alias, defined as:
(set-flag 'test-theorems '((user::thm30 user::mode-thm30) (user::thm47 user::mode-thm47-g) (user::thm48 user::mode-thm48-e) (user::thm67 user::mode-thm67-a) (user::thm112 user::mode-thm112-b) (user::thm112a user::mode-thm112a-try4)
(user::thm115 user::mode-thm115-pr97a)
(user::thm117c user::mode-thm117b) (user::thm129 user::mode-thm129-e) (user::thm130 user::mode-thm129-b) (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::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::thm15b user::MODE-THM15B-NEW1)))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage