diff -r b28695e5a018 -r d867812da48b src/HOL/ROOT
--- a/src/HOL/ROOT	Fri May 31 07:26:31 2013 +0200
+++ b/src/HOL/ROOT	Fri May 31 07:55:09 2013 +0200
@@ -129,7 +129,7 @@
     Live
     Live_True
     Hoare_Examples
-    VC
+    VCG
     HoareT
     Collecting1
     Collecting_Examples