> From: Rupert Swarbrick
> 2) There are lots of smallish utility functions in simp.lisp, in
> particular predicates like mplusp and the like. As a general comment,
I
> think it might be nice to group up, say, predicates in a file of their
> own for reuse - I'm sure we'd find the same code with different names
> in different parts of the tree.
I would find this useful. There is significant duplication.
David
NOTICE
This e-mail and any attachments are private and confidential and may contain privileged information. If you are not an authorised recipient, the copying or distribution of this e-mail and any attachments is prohibited and you must not read, print or act in reliance on this e-mail or attachments.
This notice should not be removed.