(* Title: HOL/Complex/ROOT.ML ID: $Id$ Author: Jacques Fleuriot The Complex Numbers. *) no_document use_thy "Infinite_Set"; no_document use_thy "Parity"; with_path "../Real" use_thy "Float"; with_path "../Hyperreal" use_thy "Hyperreal"; use_thy "Complex_Main";