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