diff -r 0c227412b285 -r 324622260d29 src/HOL/Complex/ex/ROOT.ML
--- a/src/HOL/Complex/ex/ROOT.ML	Tue Jun 05 19:23:09 2007 +0200
+++ b/src/HOL/Complex/ex/ROOT.ML	Tue Jun 05 20:44:12 2007 +0200
@@ -22,3 +22,5 @@
 use_thy "DenumRat";
 
 use_thy "Ferrante_Rackoff_Ex";
+use_thy "MIR";
+use_thy "ReflectedFerrack";
\ No newline at end of file