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

Re: [tlaplus] Rigid and flexible variables

From: fl <freder...@xxxxxxxxxxx>
Date: Tue, 29 Nov 2016 04:24:56 -0800 (PST)
References: <e4123a8c-3214-4eac-9a84-60d10fe34168@googlegroups.com> <22770D7A-793F-4B75-8770-4469432D7BCC@gmail.com>

Hi Stephan,

thank you for this confirmation.

--

FL

References:
- Rigid and flexible variables
  - From: fl
- Re: [tlaplus] Rigid and flexible variables
  - From: Stephan Merz

Prev by Date: [Dr. TLA+ Series] Flexible Paxos - Heidi Howard
Next by Date: Re: [tlaplus] Rigid and flexible variables
Previous by thread: Re: [tlaplus] Rigid and flexible variables
Next by thread: Re: [tlaplus] Rigid and flexible variables
Index(es):
- Date
- Thread