Re: Proving the: Simulating termination analyzer Principle

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
>

olcott <polcott333@gmail.com> writes:

>
[82 lines deleted]
>

I'm sorry my comments weren't more helpful for you.

>
Tim, *please* trim quoted text that isn't relevant to your followup.

I routinely remove or summarize prior text that I feel is not
relevant to what I have to say.

Please allow me the courtesy of determining for myself which
prior material is or is not relevant, and which prior material
should be removed, and which prior material should be summarized.