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

Re: [tlaplus] Assuming a contiguous subset of Nat

From: Y2i <yur...@xxxxxxxxx>
Date: Sun, 22 Nov 2015 09:31:30 -0800 (PST)
References: <10904886-404a-4b45-9af9-ae1895b130ad@googlegroups.com> <BFA31CD6-81D5-4A86-9BB2-991DD6CF7E41@gmail.com>

This is much better, thank you Stephan!

References:
- Assuming a contiguous subset of Nat
  - From: Y2i
- Re: [tlaplus] Assuming a contiguous subset of Nat
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Assuming a contiguous subset of Nat
Next by Date: Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Previous by thread: Re: [tlaplus] Assuming a contiguous subset of Nat
Next by thread: Writing an unformal specification (a special case)
Index(es):
- Date
- Thread