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

Re: A few issues with TLC

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Fri, 26 Jul 2013 17:51:37 -0700 (PDT)
References: <2d97b474-df75-40db-9acf-3d75d68339be@googlegroups.com>

In the description of the workaround in my last email, I meant to write that you

should add the TLCEval to the definition whose evaluation produced the error.

Leslie

References:
- A few issues with TLC
  - From: Giuliano

Prev by Date: Re: A few issues with TLC
Next by Date: Re: A few issues with TLC
Previous by thread: Re: A few issues with TLC
Next by thread: TLC cannot handle the temporal formula
Index(es):
- Date
- Thread