[isabelle] error message




does anyone know what the following means ?

Exception- EXCEPTION (CLASH, "Theory data method Pure/theory.merge failed")
   raised

Thanks

Jeremy






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