diff -r d5e76c2e335c -r 02df7cbe7d25 src/HOL/Hyperreal/Hyperreal.thy
--- a/src/HOL/Hyperreal/Hyperreal.thy	Fri Nov 16 15:25:17 2001 +0100
+++ b/src/HOL/Hyperreal/Hyperreal.thy	Fri Nov 16 18:24:11 2001 +0100
@@ -1,4 +1,4 @@
 
-theory Hyperreal = Transcendental:
+theory Hyperreal = Poly + MacLaurin:
 
 end