Re: ACTION-274 is not done

Indeed.  I missed the skolemization part of the action and will rectify that.

Thanks, Peter.

Regards,
Dave
--
http://about.me/david_wood



On Jun 26, 2013, at 11:13, Peter Patel-Schneider <pfpschneider@gmail.com> wrote:

> I cannot find anything on skolemization or compatability.
> 
> peter
>