src/Doc/ROOT
changeset 60674 2f66099fb472
parent 60656 aabae0331b2f
child 62013 92a2372a226b
     1.1 --- a/src/Doc/ROOT	Mon Jul 06 20:07:41 2015 +0200
     1.2 +++ b/src/Doc/ROOT	Mon Jul 06 20:13:51 2015 +0200
     1.3 @@ -166,7 +166,6 @@
     1.4      Proof
     1.5      Proof_Script
     1.6      Inner_Syntax
     1.7 -    Misc
     1.8      Generic
     1.9      HOL_Specific
    1.10      Quick_Reference