--- a/src/HOL/ROOT Fri Oct 16 15:09:41 2020 +0200 +++ b/src/HOL/ROOT Fri Oct 16 19:34:37 2020 +0200 @@ -932,7 +932,6 @@ SMT_Examples SMT_Word_Examples SMT_Tests - theories [condition = ISABELLE_VERIT] SMT_Tests_Verit SMT_Examples_Verit