--- a/src/HOL/ex/ROOT.ML Fri Oct 29 18:17:11 2010 +0200 +++ b/src/HOL/ex/ROOT.ML Fri Oct 29 21:34:07 2010 +0200 @@ -13,6 +13,7 @@ use_thys [ "Iff_Oracle", + "Coercion_Examples", "Numeral", "Higher_Order_Logic", "Abstract_NAT",