*To*: USR Mailinglist Isabelle <isabelle-users at cl.cam.ac.uk>*Subject*: [isabelle] Counting the proof time*From*: Lyj238 <lyj238 at gmail.com>*Date*: Mon, 8 Sep 2014 17:25:11 +0800

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

**Follow-Ups**:**Re: [isabelle] Counting the proof time***From:*Lawrence Paulson

**Re: [isabelle] Counting the proof time***From:*Makarius

- Previous by Date: Re: [isabelle] Is it bad to instantiate "list" with custom classes to be used with "bool list"?
- Next by Date: Re: [isabelle] Quickcheck in locale with defines directive
- Previous by Thread: Re: [isabelle] Is it bad to instantiate "list" with custom classes to be used with "bool list"?
- Next by Thread: Re: [isabelle] Counting the proof time
- Cl-isabelle-users September 2014 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list