[ProofPower] Type-check bug?

[Roger Bishop Jones]

On Sunday 19 September 2004  9:41 pm, Roger Bishop Jones wrote:
> Steve,
>
> Its pretty hard to diagnose your problem without
> even seeing the goal!
>
> If you really want to report a bug you should
> prepare a sanitised document which exhibits the
> bug and which you are free to disclose.
> Even if you want good advice that would be a
> good idea.

Sorry, Steve, I think you caught me too late in the day,
and I spoke too hastily.

The information you supplied is sufficient
to reproduce the problem, and in any case
makes clear that my "Wild guess" was incorrect.

I havn't figured out what's going on here yet
but I'm sure I can sort something out for you
once I've had my breakfast.

Roger Jones