A list of pathnames with source files for TPS3.

SOURCE-PATH takes values of type DIRSPECLIST.

It belongs to subjects MAINTAIN .

Its default value is ()

Its current value is ("/home/theorem/tps/bin/" "/home/theorem/tps/lisp/" "/afs/andrew.cmu.edu/mcs/math/TPS/proofs/complete/" "/afs/andrew.cmu.edu/mcs/math/TPS/proofs/incomplete/").

© 1988-99, Carnegie Mellon University.