(* Title: HOL/Complex/ROOT.ML ID: $Id$ Author: Jacques Fleuriot The Complex Numbers. *) no_document use_thys ["Infinite_Set", "Parity"]; use_thys ["../Real/Float", "Complex_Main"];