Quelle  top_riesz_representation.pvs

top_riesz_representation: THEORY
%------------------------------------------------------------------------------
%  All Theories from the Development of the Riesz Representation Theorem
%------------------------------------------------------------------------------

BEGIN

IMPORTING bounded_variation,
   riesz_bounded_functionals,
   riesz_function_sets,
   riesz_hahn_banach,
   riesz_interval_funs,
   riesz_linear_functionals,
   riesz_representation,
   rs_integral_cont,
   rs_integral_def,
   rs_integral_prep,
   rs_partition

END top_riesz_representation