1(* Title: HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy2 Author: Jacques D. Fleuriot, University of Cambridge
3 Author: Lawrence C Paulson, University of Cambridge
4 Author: Brian Huffman
56Nonstandard analysis.
7*)
89theory Nonstandard_Analysis
10imports Hypercomplex
11begin
1213end
14