On 3/24/07, Barton Willis <willisb at unk.edu> wrote:
> I'm assuming that we've agreed to merge the non-controversial
> parts of boolsimp into src. (?)
I thought we'd agreed about that on January 9-10, and the conclusion was:
On 1/10/07, Robert Dodier <robert.dodier at gmail.com> wrote:
> OK, I'll work on separating the stuff for Boolean expressions
> from the conditional expressions. [i.e. if/then/else]
-s