Re: [isabelle] Exception- ERROR "congc result" raised
It may be a simplifier bug: I see that this message appears in Pure/
Do you have a small example that triggers it?
On 7 Jul 2006, at 02:45, Jeremy Dawson wrote:
Does anyone know what this error message means ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and