equal
deleted
inserted
replaced
2 Author: Jacques D. Fleuriot, University of Cambridge, University of Edinburgh |
2 Author: Jacques D. Fleuriot, University of Cambridge, University of Edinburgh |
3 Author: Lawrence C Paulson |
3 Author: Lawrence C Paulson |
4 Author: Jeremy Avigad |
4 Author: Jeremy Avigad |
5 *) |
5 *) |
6 |
6 |
7 header{*Power Series, Transcendental Functions etc.*} |
7 section{*Power Series, Transcendental Functions etc.*} |
8 |
8 |
9 theory Transcendental |
9 theory Transcendental |
10 imports Fact Series Deriv NthRoot |
10 imports Fact Series Deriv NthRoot |
11 begin |
11 begin |
12 |
12 |