--- a/src/HOL/ROOT Mon Oct 12 17:42:15 2020 +0200
+++ b/src/HOL/ROOT Mon Oct 12 18:59:44 2020 +0200
@@ -932,6 +932,9 @@
SMT_Examples
SMT_Word_Examples
SMT_Tests
+ theories[condition=VERIT_SOLVER]
+ SMT_Tests_Verit
+ SMT_Examples_Verit
session "HOL-SPARK" in "SPARK" = "HOL-Word" +
theories