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