1.1 --- a/src/HOL/ex/ROOT.ML	Tue Feb 21 08:15:42 2012 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Tue Feb 21 09:17:53 2012 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  use_thys [
     1.5    "Iff_Oracle",
     1.6    "Coercion_Examples",
     1.7 -  "Numeral",
     1.8 +  "Numeral_Representation",
     1.9    "Higher_Order_Logic",
    1.10    "Abstract_NAT",
    1.11    "Guess",