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