MS-SPLIT is a flag or parameter.
If T mating search attempts to split the proof.
MS-SPLIT takes values of type BOOLEAN.
It belongs to subjects MS91-6 MS89 MS88 MATING-SEARCH .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage