Rob,
Sorry for the slow response.
I have thought quite a bit about this, but these days such
cogitations don't always go anywhere useful.
On Thursday 30 Aug 2012 21:58, Rob Arthan wrote:
On 11 Aug 2012, at 15:07, Roger Bishop Jones wrote:
and a number of cases where identifiers which I had
I'm having bad luck lately getting suitable environments for
running ProofPower.
My laptop is on Ubuntu 10.4, and that is fine for ProofPower,
but is now so out of date that I can't upgrade it, I would
have to install a more recent version of Ubuntu from
scratch.
So I revived an old server
Jon,
On 13/09/12 00:24, Jon Lockhart wrote:
Unfortunately the two extra sets I want to
declare and add to the spec are causing parser errors in ProofPower. The
sets I am trying to declare are TIMER == 0..5 and BOOLEAN == {0, 1}
which is allowed in the normal standard and has been syntactically
On 13/09/12 02:47, Phil Clayton wrote:
BOOLEAN that was defined to be 0 .. 5
I meant to say {0, 1}, of course!
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Phil,
Are you saying then for the Boolean block I have to just replace it with
the one that you have provided in the email? Seems odd to be to just
through True and False in there like that where I am describing sets but if
it works, then I am all for it, I just need to see or understand how to