[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: C0 and TLAPLUS
I can't imagine that I said that, since I know almost nothing about
OK a piece of human misunderstanding due to the lack of formality of the human language :)
I'm happy this ambiguity is cleared up. It made me perplexed.