[isabelle] IsarMathLib



Hi

Can I use "IsarMathLib" library in Isabelle? and where I can put this
library file to work correctly with Isabelle commands like nitpick and
sledgehammer?

regards
Omar



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