1.1 --- a/src/HOL/ex/ROOT.ML	Wed Sep 21 10:59:55 2011 -0700
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Sep 21 17:43:13 2011 -0700
     1.3 @@ -54,7 +54,6 @@
     1.4    "Coherent",
     1.5    "PresburgerEx",
     1.6    "ReflectionEx",
     1.7 -  "BinEx",
     1.8    "Sqrt",
     1.9    "Sqrt_Script",
    1.10    "Transfer_Ex",