Chris,

I'm going to define a couple of new ways of creating abstractions.
This is a part of your code I haven't looked at before, so I have
some questions.  I hope you can remember the answers
(the correct ones, that is!).

For starters:

1. in working memory there are two booleans, "forward" and "searchDirection".
   What is the difference between them ?

2. The code for the NA (no abstraction)  constructor in the function
   "defAbs" (file: "abs-functions.sml") looks strange.  It adds a call
   to "setBestDirection" as the first abstraction method.  This is
   obviously a hack -- I don't mind that.  But doesn't this mean that,
   with NA, different levels will be searched in different directions ?



I am sure I'll have more as the day progresses...

thanks,

-- rob
