[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: A few issues with TLC
From
: Giuliano <
giulia...@xxxxxxx
>
Date
: Wed, 17 Jul 2013 07:02:08 -0700 (PDT)
References
: <
2d97b474-df75-40db-9acf-3d75d68339be@googlegroups.com
>
Changing
Spec == x = TRUE /\ [][x' = ASet]_x
to
Spec == x = TRUE /\ [][x' = (ASet = {})]_x
might make more sense and still triggers the error.
References
:
A few issues with TLC
From:
Giuliano
Prev by Date:
A few issues with TLC
Next by Date:
Re: A few issues with TLC
Previous by thread:
A few issues with TLC
Next by thread:
Re: A few issues with TLC
Index(es):
Date
Thread