1
(* Title: HOL/Complex/ROOT.ML
2
ID: $Id$
3
Author: Jacques Fleuriot
4
5
The Complex Numbers.
6
*)
7
8
no_document use_thys ["Infinite_Set", "Parity"];
9
use_thys ["../Real/Float", "Complex_Main"];