--- 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