question about sublists



On 1/7/07, sen1 at math.msu.edu <sen1 at math.msu.edu> wrote:

> Where is the function 'definitely-so' ?

Here it is.

(defun definitely-so (e) (eq (mfuncall '$maybe e) t))

Sorry for the bother.

best
Robert