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

*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):