src/HOL/ROOT
changeset 66758 9312ce5a938d
parent 66756 a1b2ea991ad1
child 66779 8645d56f96e1
     1.1 --- a/src/HOL/ROOT	Mon Oct 02 19:28:18 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Oct 02 19:38:39 2017 +0200
     1.3 @@ -7,9 +7,6 @@
     1.4    theories
     1.5      Main (global)
     1.6      Complex_Main (global)
     1.7 -  files
     1.8 -    "Tools/Quickcheck/Narrowing_Engine.hs"
     1.9 -    "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
    1.10    document_files
    1.11      "root.bib"
    1.12      "root.tex"
    1.13 @@ -24,9 +21,6 @@
    1.14      "HOL-Library"
    1.15    theories
    1.16      "HOL-Library.Old_Datatype"
    1.17 -  files
    1.18 -    "Tools/Quickcheck/Narrowing_Engine.hs"
    1.19 -    "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
    1.20  
    1.21  session "HOL-Library" (main timing) in Library = HOL +
    1.22    description {*
    1.23 @@ -848,12 +842,6 @@
    1.24      SMT_Examples
    1.25      SMT_Word_Examples
    1.26      SMT_Tests
    1.27 -  files
    1.28 -    "Boogie_Dijkstra.certs"
    1.29 -    "Boogie_Max.certs"
    1.30 -    "SMT_Examples.certs"
    1.31 -    "SMT_Word_Examples.certs"
    1.32 -    "VCC_Max.certs"
    1.33  
    1.34  session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
    1.35    options [document = false]