--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Hyperreal/MacLaurin.thy Fri Nov 16 18:24:11 2001 +0100
@@ -0,0 +1,7 @@
+(* Title : MacLaurin.thy
+ Author : Jacques D. Fleuriot
+ Copyright : 2001 University of Edinburgh
+ Description : MacLaurin series
+*)
+
+MacLaurin = Log