src/HOL/ROOT
changeset 50161 4fc4237488ab
parent 50149 aaf276a28551
child 50179 978200ae8473
     1.1 --- a/src/HOL/ROOT	Wed Nov 21 21:08:20 2012 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Nov 22 08:23:13 2012 +0100
     1.3 @@ -98,8 +98,8 @@
     1.4      Poly_Types
     1.5      Sec_Typing
     1.6      Sec_TypingT
     1.7 -    Def_Ass_Sound_Big
     1.8 -    Def_Ass_Sound_Small
     1.9 +    Def_Init_Sound_Big
    1.10 +    Def_Init_Sound_Small
    1.11      Live
    1.12      Live_True
    1.13      Hoare_Examples