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

Re: The implementation of records and functions in TLC

From: Hai Tran Thanh <thanhh...@xxxxxxxxx>
Date: Sat, 21 Nov 2015 08:01:13 -0800 (PST)
References: <688c3da6-56e3-47df-a338-32235faf1f2a@googlegroups.com>

Thank you very much, fl, Leslie and Stephan. Your answers are very helpful.

References:
- The implementation of records and functions in TLC
  - From: Hai Tran Thanh

Prev by Date: Re: [tlaplus] Toolbox is unresponsive when PrintT is used
Next by Date: Re: Three questions
Previous by thread: Re: [tlaplus] The implementation of records and functions in TLC
Next by thread: Toolbox is unresponsive when PrintT is used
Index(es):
- Date
- Thread