src/HOL/IsaMakefile
changeset 27425 a54f01b75887
parent 27421 7e458bd56860
child 27431 9a7f5515f954
--- 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 \