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

drwxr-xr-x		..
-rw-r--r--	6924	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	9164	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2468	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--	4948	CReals1.ma	blob \| history \| raw
-rw-r--r--	2733	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8491	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	4047	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	6108	IVT.ma	blob \| history \| raw
-rw-r--r--	8907	Intervals.ma	blob \| history \| raw
-rw-r--r--	10206	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6541	NRootIR.ma	blob \| history \| raw
-rw-r--r--	4096	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4465	Q_dense.ma	blob \| history \| raw
-rw-r--r--	6075	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	8306	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7720	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3783	RealLists.ma	blob \| history \| raw
-rw-r--r--	10105	Series.ma	blob \| history \| raw
-rw-r--r--	4046	iso_CReals.ma	blob \| history \| raw