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

drwxr-xr-x		..
-rw-r--r--	6828	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	8864	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2451	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--	4825	CReals1.ma	blob \| history \| raw
-rw-r--r--	2721	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8500	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	4053	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	5980	IVT.ma	blob \| history \| raw
-rw-r--r--	8873	Intervals.ma	blob \| history \| raw
-rw-r--r--	10088	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6526	NRootIR.ma	blob \| history \| raw
-rw-r--r--	4068	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4426	Q_dense.ma	blob \| history \| raw
-rw-r--r--	6036	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	7796	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7707	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3783	RealLists.ma	blob \| history \| raw
-rw-r--r--	9864	Series.ma	blob \| history \| raw
-rw-r--r--	4000	iso_CReals.ma	blob \| history \| raw