| changeset 7219 | 4e3f386c2e37 |
| parent 7077 | 60b098bb8b8a |
| child 7292 | dff3470c5c62 |
| 7218:bfa767b4dc51 | 7219:4e3f386c2e37 |
|---|---|
1 (* Title : RealPow.ML |
1 (* Title : RealPow.ML |
2 ID : $Id$ |
|
2 Author : Jacques D. Fleuriot |
3 Author : Jacques D. Fleuriot |
3 Copyright : 1998 University of Cambridge |
4 Copyright : 1998 University of Cambridge |
4 Description : Natural Powers of reals theory |
5 Description : Natural Powers of reals theory |
5 |
6 |
6 *) |
7 *) |