Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-13 04:28:58 -0700 (Sun, 13 Jun 2004)
Revision: 5896
Log message:
In print_theory, use LsAll (as opposed to the "print nothing" empty set!).
Note, that before the recent ls options management changes we used a custom
selector that took care of automatically ingoring things like ML code. Now
notghing is ignored automatically (a good thing IMHO), which means that we
have to be more careful in placing "docoff" in all the right places.