[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] tuples in function constructors using tlapm ?
From
: Ioannis Filippidis <
jfili...@xxxxxxxxx
>
Date
: Wed, 19 Apr 2017 15:32:31 -0700
References
: <
1c29745d-b435-4513-be61-d7f4f1240963@googlegroups.com
>
On Wed, Apr 19, 2017 at 1:41 PM, Ioannis Filippidis
<
jfili...@xxxxxxxxx
>
wrote:
p == [t \in S \X S |-> << t[1], t[0] >> ]
THEOREM p = [t \in S \X S |-> << t[1], t[0] >> ]
BY DEF p
A correction: the above should have been: t[2], t[1].
ioannis
References
:
tuples in function constructors using tlapm ?
From:
Ioannis Filippidis
Prev by Date:
tuples in function constructors using tlapm ?
Next by Date:
tlapm Error
Previous by thread:
tuples in function constructors using tlapm ?
Next by thread:
Re: [tlaplus] tuples in function constructors using tlapm ?
Index(es):
Date
Thread