# HG changeset patch
# User haftmann
# Date 1214899112 -7200
# Node ID a54f01b758874135b6f94399a0a17e66b013c919
# Parent  594fd97ce3d1c1fd381e27fb44b6106aecadf45b
(removed Complex/ROOT.ML)

diff -r 594fd97ce3d1 -r a54f01b75887 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Jul 01 08:19:00 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 01 09:58:32 2008 +0200
@@ -186,7 +186,6 @@
   Complex/Fundamental_Theorem_Algebra.thy \
   Complex/NSCA.thy \
   Complex/NSComplex.thy \
-  Complex/ROOT.ML \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \