--- a/src/HOL/ROOT Mon Oct 02 19:28:18 2017 +0200
+++ b/src/HOL/ROOT Mon Oct 02 19:38:39 2017 +0200
@@ -7,9 +7,6 @@
theories
Main (global)
Complex_Main (global)
- files
- "Tools/Quickcheck/Narrowing_Engine.hs"
- "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
document_files
"root.bib"
"root.tex"
@@ -24,9 +21,6 @@
"HOL-Library"
theories
"HOL-Library.Old_Datatype"
- files
- "Tools/Quickcheck/Narrowing_Engine.hs"
- "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
session "HOL-Library" (main timing) in Library = HOL +
description {*
@@ -848,12 +842,6 @@
SMT_Examples
SMT_Word_Examples
SMT_Tests
- files
- "Boogie_Dijkstra.certs"
- "Boogie_Max.certs"
- "SMT_Examples.certs"
- "SMT_Word_Examples.certs"
- "VCC_Max.certs"
session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
options [document = false]