src/HOL/Hyperreal/MacLaurin.thy
author paulson
Fri Nov 16 18:24:11 2001 +0100 (2001-11-16)
changeset 12224 02df7cbe7d25
child 14738 83f1a514dcb4
permissions -rw-r--r--
even more theories from Jacques
     1 (*  Title       : MacLaurin.thy
     2     Author      : Jacques D. Fleuriot
     3     Copyright   : 2001 University of Edinburgh
     4     Description : MacLaurin series
     5 *)
     6 
     7 MacLaurin = Log