MATEOP : mating-search command

Top Levels

Printing

Recording

Expansion Trees

Mating search

MS88 search procedure

MS89 search procedure

MS90-3 search procedure

MS90-9 search procedure

MS91-6 and MS91-7 search procedures

MS92-9 search procedure

MS93-1 search procedure

MS98-1 search procedure

Proof Translation

Vpforms

Moving Commands

Statistics

Miscellaneous



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage