[isabelle] Counting the proof time



Dear experts,
   I have some long proof scripts.
   After I finish a proof, I need count the time for Isabelle to prove it. Now I use a quite stupid way to record the start time and end time points manually, then compute the time which Isabelle spend.


Is there some automatically way to do this time-counting task? I remember that time can be recorded which is used to evaluate an expression.

Thanks in advance

Lyj

发自我的 iPad



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