[isabelle] Exception- ERROR "congc result" raised




Does anyone know what this error message means ?

thanks for ny help

Jeremy






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.