--- a/src/HOL/ROOT Thu Feb 02 09:32:11 2017 +0100
+++ b/src/HOL/ROOT Thu Feb 02 14:42:06 2017 +0100
@@ -611,6 +611,7 @@
Perm_Fragments
Argo_Examples
Word_Type
+ veriT_Preprocessing
theories [skip_proofs = false]
Meson_Test
document_files "root.bib" "root.tex"