src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Nov 21 21:08:20 2012 +0100
+++ b/src/HOL/ROOT	Thu Nov 22 08:23:13 2012 +0100
@@ -98,8 +98,8 @@
     Poly_Types
     Sec_Typing
     Sec_TypingT
-    Def_Ass_Sound_Big
-    Def_Ass_Sound_Small
+    Def_Init_Sound_Big
+    Def_Init_Sound_Small
     Live
     Live_True
     Hoare_Examples