--- a/src/HOL/ROOT Tue Nov 07 11:11:37 2017 +0100 +++ b/src/HOL/ROOT Tue Nov 07 14:52:27 2017 +0100 @@ -153,6 +153,7 @@ VCG Hoare_Total VCG_Total_EX + VCG_Total_EX2 Collecting1 Collecting_Examples Abs_Int_Tests