Jon,
On Tuesday 09 Oct 2012 20:22, Jon Lockhart wrote:
> I am having a little trouble getting the axioms created,
> moving the static portions of the Button_State to an
> axiom from the schema. I can't seem to get the proof to
> operate properly. Any suggestions?
The problem is that the existent
Roger,
I am having a little trouble getting the axioms created, moving the static
portions of the Button_State to an axiom from the schema. I can't seem to
get the proof to operate properly. Any suggestions?
As always the zip is attached.
Thanks,
Jon
On Thu, Oct 4, 2012 at 3:08 PM, Jon Lockhar