(* Title : MacLaurin.thy Author : Jacques D. Fleuriot Copyright : 2001 University of Edinburgh Description : MacLaurin series *) MacLaurin = Log