# HG changeset patch
# User chaieb
# Date 1203935219 -3600
# Node ID 159afd21502f3e9d069f5af30f45c82205fdafd8
# Parent  3c38ef7cf54f21ef9aef2e8ae096a3ed4b605b6a
Included theories Library/Univ_Poly.thy and Complex/Fundamental_Theorem_Algebra.thy ; Theory Hyperreal/Poly.thy Removed

diff -r 3c38ef7cf54f -r 159afd21502f src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Feb 22 16:48:36 2008 +0100
+++ b/src/HOL/IsaMakefile	Mon Feb 25 11:26:59 2008 +0100
@@ -183,11 +183,12 @@
   Hyperreal/Hyperreal.thy						\
   Hyperreal/Integration.thy Hyperreal/Lim.thy Hyperreal/Log.thy		\
   Hyperreal/Ln.thy Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy	\
-  Hyperreal/NSA.thy Hyperreal/NthRoot.thy Hyperreal/Poly.thy		\
+  Hyperreal/NSA.thy Hyperreal/NthRoot.thy Library/Univ_Poly.thy		\
   Hyperreal/SEQ.thy Hyperreal/Series.thy Hyperreal/Star.thy		\
   Hyperreal/Taylor.thy Hyperreal/FrechetDeriv.thy Hyperreal/Deriv.thy	\
   Hyperreal/Transcendental.thy Hyperreal/hypreal_arith.ML		\
-  Complex/Complex_Main.thy Complex/CLim.thy				\
+  Complex/Complex_Main.thy Complex/Fundamental_Theorem_Algebra.thy      \
+  Complex/CLim.thy				\
   Complex/CStar.thy Complex/Complex.thy Complex/NSCA.thy		\
   Complex/NSComplex.thy							\
   Complex/document/root.tex Library/Infinite_Set.thy Library/Parity.thy
@@ -231,7 +232,7 @@
   Library/Eval.thy Library/Eval_Witness.thy \
   Library/Code_Index.thy Library/Code_Char.thy Library/Code_Char_chr.thy \
   Library/Code_Integer.thy Library/Code_Message.thy \
-  Library/Abstract_Rat.thy \
+  Library/Abstract_Rat.thy Library/Univ_Poly.thy\
   Library/Numeral_Type.thy Library/Boolean_Algebra.thy
 	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library