1(*  Title:      HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
2    Author:     Jacques D. Fleuriot, University of Cambridge
3    Author:     Lawrence C Paulson, University of Cambridge
4    Author:     Brian Huffman
5
6Nonstandard analysis.
7*)
8
9theory Nonstandard_Analysis
10imports Hypercomplex
11begin
12
13end
14