equal
deleted
inserted
replaced
2 Author : Jacques D. Fleuriot |
2 Author : Jacques D. Fleuriot |
3 Copyright : 1998 University of Cambridge |
3 Copyright : 1998 University of Cambridge |
4 Conversion to Isar and new proofs by Lawrence C Paulson, 2003/4 |
4 Conversion to Isar and new proofs by Lawrence C Paulson, 2003/4 |
5 *) |
5 *) |
6 |
6 |
7 header{*Star-Transforms in Non-Standard Analysis*} |
7 section{*Star-Transforms in Non-Standard Analysis*} |
8 |
8 |
9 theory Star |
9 theory Star |
10 imports NSA |
10 imports NSA |
11 begin |
11 begin |
12 |
12 |