# HG changeset patch
# User wenzelm
# Date 1248427882 -7200
# Node ID 95ffc6e2a0ea153f3db4f3040353eba81272ce1e
# Parent  dee62e8af256316c399aff9f9af12912e80a7f6b
removed Formal_Power_Series_Examples (cf. adea7a729c7a);

diff -r dee62e8af256 -r 95ffc6e2a0ea src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Fri Jul 24 11:30:32 2009 +0200
+++ b/src/HOL/ex/ROOT.ML	Fri Jul 24 11:31:22 2009 +0200
@@ -65,7 +65,6 @@
   "HarmonicSeries",
   "Refute_Examples",
   "Quickcheck_Examples",
-  "Formal_Power_Series_Examples",
   "Landau"
 ];