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