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

drwxr-xr-x		..
-rw-r--r--	5805	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	7375	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2170	CMetricFields.ma	blob \| history \| raw
-rw-r--r--	1496	CPoly_Contin.ma	blob \| history \| raw
-rw-r--r--	1895	CReals.ma	blob \| history \| raw
-rw-r--r--	4298	CReals1.ma	blob \| history \| raw
-rw-r--r--	2643	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8094	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	3799	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	5008	IVT.ma	blob \| history \| raw
-rw-r--r--	8314	Intervals.ma	blob \| history \| raw
-rw-r--r--	9396	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6243	NRootIR.ma	blob \| history \| raw
-rw-r--r--	3820	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4100	Q_dense.ma	blob \| history \| raw
-rw-r--r--	5819	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	6643	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7604	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3691	RealLists.ma	blob \| history \| raw
-rw-r--r--	8889	Series.ma	blob \| history \| raw
-rw-r--r--	3818	iso_CReals.ma	blob \| history \| raw