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

drwxr-xr-x		..
-rw-r--r--	5980	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	7564	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2395	CMetricFields.ma	blob \| history \| raw
-rw-r--r--	1539	CPoly_Contin.ma	blob \| history \| raw
-rw-r--r--	2016	CReals.ma	blob \| history \| raw
-rw-r--r--	4417	CReals1.ma	blob \| history \| raw
-rw-r--r--	2708	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8265	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	3908	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	5163	IVT.ma	blob \| history \| raw
-rw-r--r--	8453	Intervals.ma	blob \| history \| raw
-rw-r--r--	9657	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6392	NRootIR.ma	blob \| history \| raw
-rw-r--r--	3907	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4309	Q_dense.ma	blob \| history \| raw
-rw-r--r--	6030	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	6904	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7679	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3762	RealLists.ma	blob \| history \| raw
-rw-r--r--	9088	Series.ma	blob \| history \| raw
-rw-r--r--	3937	iso_CReals.ma	blob \| history \| raw