1
(* Title : MacLaurin.thy
2
Author : Jacques D. Fleuriot
3
Copyright : 2001 University of Edinburgh
4
Description : MacLaurin series
5
*)
6
7
MacLaurin = Log