matita.cs.unibo.it Git - helm.git/tree - matita/contribs/CoRN-Decl/reals/

drwxr-xr-x		..
-rw-r--r--	6024	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	7555	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2428	CMetricFields.ma	blob \| history \| raw
-rw-r--r--	1530	CPoly_Contin.ma	blob \| history \| raw
-rw-r--r--	2005	CReals.ma	blob \| history \| raw
-rw-r--r--	4408	CReals1.ma	blob \| history \| raw
-rw-r--r--	2699	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8501	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	3961	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	5154	IVT.ma	blob \| history \| raw
-rw-r--r--	8559	Intervals.ma	blob \| history \| raw
-rw-r--r--	9648	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6383	NRootIR.ma	blob \| history \| raw
-rw-r--r--	3898	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4351	Q_dense.ma	blob \| history \| raw
-rw-r--r--	6019	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	6893	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7670	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3753	RealLists.ma	blob \| history \| raw
-rw-r--r--	9079	Series.ma	blob \| history \| raw
-rw-r--r--	3928	iso_CReals.ma	blob \| history \| raw