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

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Wed, 18 Jan 2023 17:10:23 +0100*References*: <2c52bdc7-3ffa-44f5-8672-368528f6b74bn@googlegroups.com>

[]<<A>>_v is not a TLA formula, I believe you meant to write Monotonic == [][x > 0 => x' < x]_x Stephan
--
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/D5F97A16-8CC2-4481-A876-8734BCF14E04%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] How can I modelcheck an angle-bracket action formula?***From:*Andrew Helwer

**References**:**[tlaplus] How can I modelcheck an angle-bracket action formula?***From:*Andrew Helwer

- Prev by Date:
**[tlaplus] Re: How can I modelcheck an angle-bracket action formula?** - Next by Date:
**Re: [tlaplus] How can I modelcheck an angle-bracket action formula?** - Previous by thread:
**[tlaplus] Re: How can I modelcheck an angle-bracket action formula?** - Next by thread:
**Re: [tlaplus] How can I modelcheck an angle-bracket action formula?** - Index(es):