--- a/src/HOL/ROOT Fri Jul 22 17:35:54 2016 +0200
+++ b/src/HOL/ROOT Sat Jul 23 13:25:44 2016 +0200
@@ -137,9 +137,10 @@
Live
Live_True
Hoare_Examples
+ Hoare_Sound_Complete
VCG
Hoare_Total
- Hoare_Total_EX
+ VCG_Total_EX
Collecting1
Collecting_Examples
Abs_Int_Tests