1.1 --- a/src/HOL/ex/ROOT.ML	Thu Oct 28 22:23:11 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Oct 28 22:39:59 2010 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4  ];
     1.5  
     1.6  use_thys [
     1.7 +  "Iff_Oracle",
     1.8    "Numeral",
     1.9    "Higher_Order_Logic",
    1.10    "Abstract_NAT",