Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable

Dear Leslie,

Thank you so much for the advice, it makes life so much easier!

Best regards,

Yuri

References:
- In computing initial states, the right side of \IN is not enumerable
  - From: Y2i
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Stephan Merz
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Y2i
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Dominik Hansen
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Y2i
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Stephan Merz
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: Y2i
- Re: [tlaplus] In computing initial states, the right side of \IN is not enumerable
  - From: TLA Plus