more timing;
authorwenzelm
Wed Nov 01 22:13:38 2017 +0100 (17 months ago)
changeset 669865188b1c59434
parent 66985 7382ff5b46b9
child 66987 352b23c97ac8
more timing;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Nov 01 21:21:09 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Nov 01 22:13:38 2017 +0100
     1.3 @@ -371,7 +371,7 @@
     1.4      Games
     1.5    document_files "root.tex"
     1.6  
     1.7 -session "HOL-Imperative_HOL" in Imperative_HOL = "HOL-Library" +
     1.8 +session "HOL-Imperative_HOL" (timing) in Imperative_HOL = "HOL-Library" +
     1.9    options [print_mode = "iff,no_brackets"]
    1.10    theories Imperative_HOL_ex
    1.11    document_files "root.bib" "root.tex"