Now uses more carefully designed simpsets to prevent proofs from
failing for some strange datatypes with nested recursion.
(* 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"];