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
paulson@12224
     1
(*  Title       : MacLaurin.thy
paulson@12224
     2
    Author      : Jacques D. Fleuriot
paulson@12224
     3
    Copyright   : 2001 University of Edinburgh
paulson@12224
     4
    Description : MacLaurin series
paulson@12224
     5
*)
paulson@12224
     6
paulson@12224
     7
MacLaurin = Log