On 5 Jun 2009, at 08:35, Roger Bishop Jones wrote:
I quite often find that I want to use a new character in
ProofPower HOL.
However, ProofPower seems to be quite fussy about what
characters you use.
For example, there are three "spares" at the moment,
which would be useful for me. They wouldn
On 5 Jun 2009, at 08:35, Roger Bishop Jones wrote:
I quite often find that I want to use a new character in
ProofPower HOL.
However, ProofPower seems to be quite fussy about what
characters you use.
For example, there are three "spares" at the moment,
which would be useful for me. They wouldn
On 5 Jun 2009, at 08:35, Roger Bishop Jones wrote:
I quite often find that I want to use a new character in
ProofPower HOL.
However, ProofPower seems to be quite fussy about what
characters you use.
For example, there are three "spares" at the moment,
which would be useful for me. They wouldn