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