TEST-MS98 : INFO

TEST-MS98 is a flag setting or other piece of information.
TEST-MS98 is an alias, defined as:
(set-flag 'test-theorems '((user::x2106 user::ms98-fo-mode) (user::x2107 user::ms98-fo-mode) (user::x2109 user::ms98-fo-mode) (user::x2110 user::ms98-fo-mode) (user::x2111 user::ms98-fo-mode) (user::x2113 user::ms98-fo-mode) (user::x2114 user::ms98-fo-mode) (user::x2115 user::ms98-fo-mode) (user::x2116 user::ms98-fo-mode) (user::x2118 user::ms98-fo-mode) (user::x2119 user::ms98-fo-mode) (user::x2121 user::ms98-fo-mode) (user::x2122 user::ms98-fo-mode) (user::x2123 user::ms98-fo-mode) (user::x2124 user::ms98-fo-mode) (user::x2126 user::ms98-fo-mode) (user::x2127 user::ms98-fo-mode) (user::x2128 user::ms98-fo-mode) (user::x2131 user::ms98-fo-mode) (user::x2132 user::ms98-fo-mode) (user::x2134 user::ms98-fo-mode) (user::x2135 user::ms98-fo-mode) (user::x2136 user::ms98-fo-mode) (user::x2137 user::ms98-fo-mode) (user::x2138 user::ms98-fo-mode) (user::x2108 user::ms98-fo-mode) (user::x2112 user::ms98-fo-mode) (user::x2117 user::ms98-fo-mode) (user::x2120 user::ms98-fo-mode) (user::x2125 user::ms98-fo-mode) (user::x2130 user::ms98-fo-mode) (user::x2133 user::ms98-fo-mode) (user::lx1 user::ms98-fo-mode) (user::pell19 user::ms98-fo-mode) (user::pell21 user::ms98-fo-mode) (user::pell25 user::ms98-fo-mode) (user::pell26 user::ms98-fo-mode) (user::pell27 user::ms98-fo-mode) (user::pell28 user::ms98-fo-mode) (user::pell29 user::ms98-fo-mode) (user::pell35 user::ms98-fo-mode) (user::pell40 user::ms98-fo-mode) (user::russell1 user::ms98-fo-mode) (user::thm25 user::ms98-fo-mode) (user::thm31 user::ms98-fo-mode) (user::thm39 user::ms98-fo-mode) (user::thm68 user::ms98-fo-mode) (user::thm69 user::ms98-fo-mode) (user::thm72 user::ms98-fo-mode) (user::thm75 user::ms98-fo-mode) (user::x2150 user::ms98-fo-mode) (user::x3411 user::ms98-fo-mode) (user::y2141 user::ms98-fo-mode) (user::thm147 user::ms98-fo-mode) (user::thm100 user::thm100-mode-b) (user::pell42 user::ms98-fo-mode) (user::thm119 user::mode-thm119-ms98) (user::x5200 user::ms98-ho-mode) (user::x5201 user::ms98-ho-mode) (user::x5202 user::ms98-ho-mode) (user::x5203 user::ms98-ho-mode) (user::x5205 user::ms98-ho-mode) (user::x5207 user::ms98-ho-mode2) (user::x5208 user::ms98-ho-mode) (user::x5209 user::ms98-ho-mode) (user::x5210 user::ms98-ho-mode) (user::x5212 user::ms98-ho-mode) (user::x5304 user::ms98-ho-mode3) (user::x5305 user::ms98-ho-primsubs) (user::x5308 user::ms98-ho-mode) (user::x5310 user::mode-x5310-ms98) (user::x6004 user::ms98-ho-mode) (user::thm126 user::mode-thm126-ms98) (user::thm136 user::mode-thm136-ms98) (user::thm270 user::mode-thm270-ms98) (user::grp-comm2 user::mode-grp-comm2-ms98) (user::equiv-01-02 user::mode-equiv123-ms98) (user::equiv-01-03 user::mode-equiv123-ms98) (user::equiv-02-03 user::mode-equiv123-ms98) (user::cd-lattice-thm user::mode-cd-lattice-thm) (user::distrib-thm user::mode-distrib-thm-ms98) (user::pentagon-thm2b user::mode-pentagon-thm2b) (user::modular-thm user::mode-modular-thm-ms98) (user::pa-thm2 user::mode-pa-thm2-ms98) (user::thm15b user::mode-thm15b-ms98-3) (user::cr-theorem user::ms98-cr-theorem-mode) (user::3-diamond-thm user::mode-pentagon-thm2b)))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage