Re: [Hol-info] Learning HOL Light

lies that P(X) may (will) contain the empty set as an element. Is this a correct interpretation of the consequences of these rules? Regards, Andrew Butterfield PS - I think a comment about this should occur on that page or the next… ---

Re: [Hol-info] Learning HOL Light

lies that P(X) may (will) contain the empty set as an element. Is this a correct interpretation of the consequences of these rules? Regards, Andrew Butterfield PS - I think a comment about this should occur on that page or the next… ---