Ordering of not x



No difference today for Boolean expressions, because they don't reorder.
But things like sort([x,y, not x, not y]) will be different.

       -s

      -s
On Jul 5, 2013 5:49 PM, "Barton Willis" <willisb at unk.edu> wrote:

>  > 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
>   ------------------------------
>
>
>