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

Re: [tlaplus] Function domains in TLAPS

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Tue, 14 Jun 2016 07:37:54 -0700 (PDT)
References: <c9f9a016-fcd1-4d87-abc0-1b594b6455f0@googlegroups.com> <FEFF636D-58CE-42CF-AC5D-A01D63E11D45@gmail.com> <de4b10c7-87c0-4a96-bf3e-0727c2a8bb9f@googlegroups.com> <63319bdf-dbba-4a05-a7a7-3cd65d4d3a88@googlegroups.com>

On Tuesday, June 14, 2016 at 5:35:30 PM UTC+3, Leslie Lamport wrote:

From what general properties of functions would you expect to be able
to deduce this?

Of course! Makes perfect sense. Thanks!

References:
- Function domains in TLAPS
  - From: Ron Pressler
- Re: [tlaplus] Function domains in TLAPS
  - From: Stephan Merz
- Re: [tlaplus] Function domains in TLAPS
  - From: Ron Pressler
- Re: [tlaplus] Function domains in TLAPS
  - From: Leslie Lamport

Prev by Date: Re: [tlaplus] Function domains in TLAPS
Next by Date: Re: [tlaplus] Function domains in TLAPS
Previous by thread: Re: [tlaplus] Function domains in TLAPS
Next by thread: Ethereum Heist
Index(es):
- Date
- Thread