[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Curious oddity

Hi Stephan,

It's much clearer. I was trying to give a meaning to this article:


using your post. And the author of the article was only using one kind of set variables:
the traditional ones. And I didn't succeeded in connecting his work with your post.

Now it's clear.

Thank you.