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

Re: [tlaplus] Rigid and flexible variables

From: fl <freder...@xxxxxxxxxxx>
Date: Wed, 30 Nov 2016 06:21:33 -0800 (PST)
References: <e4123a8c-3214-4eac-9a84-60d10fe34168@googlegroups.com> <22770D7A-793F-4B75-8770-4469432D7BCC@gmail.com> <b8c7514a-6626-45d0-b62c-0177287906d7@googlegroups.com> <9f0b92a7-9905-4139-8771-db1cfdee4a54@googlegroups.com>

Hi Ioannis,

Thank you for this long answer. I will study it carefully.

--

FL

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

Prev by Date: Re: [tlaplus] Rigid and flexible variables
Next by Date: Re: Rigid and flexible variables
Previous by thread: Re: [tlaplus] Rigid and flexible variables
Next by thread: Re: Rigid and flexible variables
Index(es):
- Date
- Thread