[isabelle] timing information



Dear Isabelle users,

How can I measure the time required by the application of a tactic in
Isabelle/HOL?
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.