src/HOL/Hyperreal/MacLaurin.thy
changeset 12224 02df7cbe7d25
child 14738 83f1a514dcb4
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Hyperreal/MacLaurin.thy	Fri Nov 16 18:24:11 2001 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +(*  Title       : MacLaurin.thy
     1.5 +    Author      : Jacques D. Fleuriot
     1.6 +    Copyright   : 2001 University of Edinburgh
     1.7 +    Description : MacLaurin series
     1.8 +*)
     1.9 +
    1.10 +MacLaurin = Log