| author | paulson |
| Fri, 16 Nov 2001 18:24:11 +0100 | |
| changeset 12224 | 02df7cbe7d25 |
| child 14738 | 83f1a514dcb4 |
| permissions | -rw-r--r-- |
| 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 |