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

Re: Tagged formulas

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Thu, 7 Jan 2016 11:54:33 -0800 (PST)
References: <71319d03-6ab4-48a7-a6a2-53e7c9c48a51@googlegroups.com> <743b44d5-a917-4b27-b245-f7acc403e34f@googlegroups.com> <724ea830-7044-49f8-881b-0a65bbd7da8e@googlegroups.com>

Scratch that. I've realized that my lowering operator doesn't really make sense. What I wanted was no more than a fine-tuned way to control the application of the prime operator, and I guess that would just be over-complicating things.

Ron

References:
- Tagged formulas
  - From: Ron Pressler
- Re: Tagged formulas
  - From: Leslie Lamport
- Re: Tagged formulas
  - From: Ron Pressler

Prev by Date: Re: Tagged formulas
Next by Date: Re: Tagged formulas
Previous by thread: Re: Tagged formulas
Next by thread: Re: Tagged formulas
Index(es):
- Date
- Thread