Ordering of not x



> This just requires changing '(mbox mlabox) in simp.lisp/great to '(mbox mlabox mnot) in two places.

I tested this change using CCL--it didn't break the test suite or the share test suite. What is a minimal example
that shows the difference?

--Barton
________________________________