[isabelle] timing information

Dear Isabelle users,

How can I measure the time required by the application of a tactic in
I'm an absolute newbie and I could not find the answer on the web.

Thank you very much for your help,
Damien Pous

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