Here is a list of all files with brief descriptions:

[detail level 12]

CGAL
boost_mp.h
CORE_BigFloat.h
CORE_BigInt.h
CORE_BigRat.h
CORE_Expr.h
double.h	This header provides all necessary functions so the fundamental type double is a model of the concepts RealEmbeddable and FieldWithKthRoot
float.h	This header provides all necessary functions so the fundamental type float is a model of the concepts RealEmbeddable and FieldWithKthRoot
FPU.h
Gmpfi.h
Gmpfr.h
Gmpq.h
gmpxx.h
Gmpz.h
Gmpzf.h
int.h	This header provides all necessary functions so the fundamental types int, long int, and short int are models of the concepts RealEmbeddable and EuclideanRing
Interval_nt.h
Lazy_exact_nt.h
leda_bigfloat.h
leda_integer.h
leda_rational.h
leda_real.h
long_double.h	This header provides all necessary functions so the fundamental type long double is a model of the concepts RealEmbeddable and FieldWithKthRoot
long_long.h	This header provides all necessary functions so the fundamental type long long int is a model of the concepts RealEmbeddable and EuclideanRing
MP_Float.h
Mpzf.h
NT_converter.h
Number_type_checker.h
number_type_config.h
Quotient.h
Rational_traits.h
Root_of_traits.h
simplest_rational_in_interval.h
Sqrt_extension.h
to_rational.h
utils.h
utils_classes.h
CGAL
Exact_integer.h
Exact_rational.h