# HG changeset patch
# User berghofe
# Date 1127672079 -7200
# Node ID 9234108fdfb1db3a2e6e5b07440fa72cd2b289a3
# Parent  e83ce8fe58fabfddf3a1e14fe9ca79de23b2b4fc
Added Taylor.

diff -r e83ce8fe58fa -r 9234108fdfb1 src/HOL/Hyperreal/Hyperreal.thy
--- a/src/HOL/Hyperreal/Hyperreal.thy	Sun Sep 25 20:14:16 2005 +0200
+++ b/src/HOL/Hyperreal/Hyperreal.thy	Sun Sep 25 20:14:39 2005 +0200
@@ -8,7 +8,7 @@
 *)
 
 theory Hyperreal
-imports Poly MacLaurin HLog
+imports Poly Taylor HLog
 begin
 
 end