Re: [isabelle] Exception- ERROR "congc result" raised



It may be a simplifier bug: I see that this message appears in Pure/ meta_simplifier.ML.

Do you have a small example that triggers it?

Larry


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 MHonArc.